Schedule

Date Paper Presenter
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

 

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