Room: 2
| Time | Title | Authors |
|---|---|---|
| Coffee Break | ||
| 09:00 | Testing and Stochastic Automata Learning for Safe Reinforcement Learning | Tappler |
| 09:30 | Regret and Restore – Enhancing Safety-critical Deep Reinforcement Learning Through Evaluation Stages | Gros, Müller, and Wolf |
| 10:00 | About the Problems When Training Reinforcement Learning Agents for Verification Task | Gros, Müller, and Wolf |
| 10:20 | Discussion | |
| Coffee Break | ||
| 11:00 | Keynote: Safe Probabilistic Programming by Inductive Synthesis | Katoen |
| 12:00 | gRoMA: a Tool for Measuring the Global Robustness of Deep Neural Networks | Levy, Yerushalmi, and Katz |
| 12:20 | Discussion | |