A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars
2017
Electronic Proceedings in Theoretical Computer Science
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.
doi:10.4204/eptcs.257.4
fatcat:uoixvxec6jgbrjkaxorocfjpd4