Spatio-Temporal Framework for Verifying Safety Rules in Autonomous Vehicles.

Maksym Labzhaniia, Julien Deantoni, Marie-Agns Peraldi-Frati, Frdric Mallet

Browse the full MODELS paper archive.