Room: 2

Coffee Break
09:00Testing and Stochastic Automata Learning for Safe Reinforcement LearningTappler
09:30Regret and Restore – Enhancing Safety-critical Deep Reinforcement Learning Through Evaluation StagesGros, Müller, and Wolf
10:00About the Problems When Training Reinforcement Learning Agents for Verification TaskGros, Müller, and Wolf
Coffee Break
11:00Keynote: Safe Probabilistic Programming by Inductive SynthesisKatoen
12:00gRoMA: a Tool for Measuring the Global Robustness of Deep Neural NetworksLevy, Yerushalmi, and Katz