Leveraging Answer Set Programming for Continuous Monitoring, Fault Detection, and Explanation of Automated and Autonomous Driving Systems.

Lorenz Klampfl, Franz Wotawa

Browse the full DX paper archive.