Two papers authored by ERATO MMSD researchers accepted for presentation at 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
The CAV Conference is a top international venue on computer-aided formal analysis methods for hardware and software systems. CAV 2019 will take place in New York City, US, in July 2019.