ERATO MMSD プロジェクトの研究者が著者となる3報の論文が， CAV 2023 – 35th International Conference on Computer Aided Verification に採択されました．
- Compositional Probabilistic Model Checking with String Diagrams of MDPs. Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo
- Online Causation Monitoring of Signal Temporal Logic. Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo
- Exploiting Adjoints in Property Directed Reachability Analysis. Mayuko Kori, Flavio Ascari, Filippo Bonchi, Roberto Bruni, Roberta Gori, Ichiro Hasuo
International Conference on Computer-Aided Verification (CAV) は形式検証分野のトップ国際会議です．CAV 2023 は2023年7月にパリで開催されます．