International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | TEMPESTPY: Easy-to-Use Shielded Reinforcement Learning | Stefan Pranger, Bettina Könighofer |
| 15:00 | Towards Quantitative Analysis of Intelligent Simulink Models using Stochastic Hybrid Automata | Pauline Blohm, Anne Remke, Paula Herber |
| 15:30 | Guided Discrete-Event Simulation for SHM via Symbolic Precomputation and Q-Learning | Jonas Stübbe, Felix Lauenroth, Carina da Silva, Anne Remke |