International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 16:30 | Introducing Adversarial Uncertainty to Mitigate Adversarial Attacks at the System Level | Florian Krone |
| 16:55 | GUESS: GPU Enhanced Synthesis of Supervisory Controllers | Laurens van der Wal |