| 11.05 |
Lecture: Brief Introduction to Formal Methods |
Rayna Dimitrova |
| 01.06 |
[2] An Abstraction-Based Framework for Neural Network Verification |
Nikhil George |
| 22.06 |
[6] Requirements-driven Test Generation for Autonomous Vehicles with Machine Learning Components |
Paul Eichler |
| 29.06 |
[11] Guiding Safe Exploration With Weakest Precondition |
Nicola Müller |
| 13.07 |
[13] Abduction-Based Explanations for Machine Learning Models |
Ole Keil |
| 27.07 |
[15] Synthesizing Action Sequences for Modifying Model Decisions |
Akbar Adam |
