Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems.

Srajan Goyal, Alberto Griggio, Stefano Tonetta

Browse the full SEFM paper archive.