1st SEFAIAS@ICSE 2018: Gothenburg, Sweden

AI Applications

AI Engineering Methods

Verification of Self-Driving Cars

maintained by Schloss Dagstuhl LZI at University of Trier