Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars
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 LaserDisc Player Parts collective behaviour of autonomous cars.We argue that non-cooperative autonomous adaptation cannot guarantee optimal behaviour.The conjecture is that int