Our project symposium on 21 May, 2019 had 88 participants. Thank you all for active participation!
We have made some videos and slides public.
Month: May 2019
Two papers authored by ERATO MMSD researchers accepted for CAV 2019
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.