Formal Methods for AI Safety Rayna Dimitrova

You can import this calendar in your calendar app by copying an export link from the "Date Overview" menu.



Upcoming Events

Meeting Paper: [6] Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components; Presenter: Paul Eichler 22.06.2023 16:15 - 17:45
Meeting Paper: [11] Guiding Safe Exploration With Weakest Precondition; Presenter: Nicola Müller 29.06.2023 16:15 - 17:45
Meeting Paper: [13] Abduction-Based Explanations for Machine Learning Models; Presenter: Ole Keil 13.07.2023 16:15 - 17:45
Meeting Paper: [15] Synthesizing Action Sequences for Modifying Model Decisions; Presenter: Akbar Adam 27.07.2023 16:15 - 17:45


Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators