Legal Compliance Checking of Autonomous Driving with Formalized Traffic Rule Exceptions.

Kumar Manas, Adrian Paschke

Browse the full ICLP paper archive.