Statistical Model Checking of Cooperative Autonomous Driving Systems.

Cinzia Bernardeschi, Giuseppe Lettieri, Federico Rossi

Browse the full ISoLA paper archive.