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

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

Blog Article

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 kids visor 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 Lip Balm is expected to be the basis to formally prove this conjecture.