International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Introduction and welcome | |
| 11:10 | Influence Without Authority: Convincing Artificially Intelligent Agents to Act Right | Houssam Abbas |
| 11:40 | Efficient Shield Synthesis via State-Space Transformation | Christian Schilling |
| 12:10 | Open session for free discussion |