International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Monitoring Local and Global Properties of Collective Adaptive Systems | Nicola Del Giudice, Michele Loreti, Michela Quadrini, Aniqa Rehman |
| 11:30 | Rigorous Modeling of an Idealized Foraging Ant System in Higher-Order Logic | Marco Maggesi, Cosimo Perini Brogi |
| 12:00 | Statistical model checking of cooperative autonomous driving systems | Cinzia Bernadeschi, Giuseppe Lettieri, Federico Rossi |