Johan Arcile,, Raymond Devillers, Hanna Klaudel. VERIFCAR: A Framework for Modeling and Model checking Communicating Autonomous Vehicles.
19th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), May 2020, Auckland, New Zealand. pp.2126--2127.
⟨hal-02886856⟩