International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Reliable Decision Loops in Socio-Technical Collective Adaptive Systems | Marino Miculan |
| 11:30 | To Sense or Not to Sense: Cost-Aware Uncertainty Reduction with Parley | Marc Carwehl, Eik Reichmann, Thomas Vogel, Lars Grunske |
| 12:00 | Situational Awareness in AI-generated Industrial Cyber-Physical Systems | Petr Hnetynka, Tomas Bures, Frantisek Plasil |