The collective of autonomous cars Fire Screen 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 Ignition Module unwanted behaviour.The online routing game model is expected to be the basis to formally prove this conjecture.