International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
Time | Topic | Authors |
11:00 | Influence Without Authority: Convincing Artificially Intelligent Agents to Act Right | Houssam Abbas |
11:30 | Efficient Shield Synthesis via State-Space Transformation | Christian Schilling |
12:00 | Monitoring Safety and Reliability of Underwater Robots: A Case Study | Mahsa Varshosaz |