International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | All Dressed Up: Requirements for Human-Robot Teamwork | Hazel M. Taylor, Yasmin Rafiq, Amber Drinkwater, Sanja Dogramadzi, Louise A. Dennis, Marie Farrel |
| 15:00 | Adaptive Code Generation for Controlling Robots | Justus Flerlage, Thorsten Wittkopp, Alexander Acker, Odej Kao |
| 15:30 | Simulating the Monitoring of Robotic Systems Under Tele-Test | Adrian Scholze, Verena Well, Alexander Kassuba, Uwe Aßmann |