Modeling and checking robustness of communicating autonomous vehicles.

Johan Arcile, Raymond Devillers, Hanna Klaudel, Witold Klaudel, Bozena Wozna-Szczesniak

Browse the full DCAI paper archive.