Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems - Klampfl, Lorenz; Wotawa, Franz; Lorenz Klampfl and Franz Wotawa (Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024., 2024)
application/pdf