International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | A Comparison of Monitoring Techniques for Deep Neural Networks | Wasim Essbai |
| 15:00 | Stochastic Multi-Armed Bandits – A Brief Tutorial | Agniv Bandyopadhyay |
| 15:30 | Models for Shielded Reinforcement Learning | Bettina Konighofer |