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

László Z. Varga

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 colle…