Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars

László Z. Varga
(ELTE Eötvös Loránd University)

The collective of autonomous cars is expected to generate almost optimal traffic. In this position paper we discuss the multi-agent models and the verification results of the collective behaviour of autonomous cars. We argue that non-cooperative autonomous adaptation cannot guarantee optimal behaviour. The conjecture is that intention aware adaptation with a constraint on simultaneous decision making has the potential to avoid unwanted behaviour. The online routing game model is expected to be the basis to formally prove this conjecture.

In Lukas Bulwahn, Maryam Kamali and Sven Linker: Proceedings First Workshop on Formal Verification of Autonomous Vehicles (FVAV 2017), Turin, Italy, 19th September 2017, Electronic Proceedings in Theoretical Computer Science 257, pp. 27–34.
Published: 7th September 2017.

ArXived at: https://dx.doi.org/10.4204/EPTCS.257.4 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org