International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Neuro-Symbolic Anomaly Detection: Provable Guarantees via Logical Constraints | Daniel Neider, Tim Katzke, Simon Lutz, Emmanuel Müller |
| 15:00 | Evaluation Metrics for Neuro-symbolic General Policies | Timo P. Gros, Nicola J. Müller, Verena Wolf |
| 15:30 | Neural Model Checking | Mirco Giacobbe |