A Case Study on Formally Validating Motion Rules for Autonomous Cars.

Mrio Henrique Cruz Torres, Jean-Pierre Giacalone, Joelle Abou Faysal

Browse the full SEFM paper archive.