@Inproceedings{EPTCS257.4, author = {Varga, L\'aszl\'o Z.}, year = {2017}, title = {Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars}, editor = {Bulwahn, Lukas and Kamali, Maryam and Linker, Sven}, booktitle = {{\rm Proceedings First Workshop on} Formal Verification of Autonomous Vehicles, {\rm Turin, Italy, 19th September 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {257}, publisher = {Open Publishing Association}, pages = {27-34}, doi = {10.4204/EPTCS.257.4}, }