ERATO MMSD プロジェクトの研究者が著者となる2報の論文が，CAV 2019 – 31st International Conference on Computer-Aided Verification に採択されました．
- Masaki Waga, Étienne André and Ichiro Hasuo. Symbolic Monitoring against Specifications Parametric in Time and Data
- Zhenya Zhang, Ichiro Hasuo and Paolo Arcaini. Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification
International Conference on Computer-Aided Verification (CAV) は形式検証分野のトップ国際会議です．CAV 2019 は2019年7月に米国ニューヨークで開催されます．