TY - RPRT TI - Game Theory Models for the Verification of the Collective Behaviour of Autonomous Cars AU - László Z. Varga PY - 2017 DO - 10.4204/eptcs.257.4 UR - https://arxiv.org/abs/1709.02556 ID - 1709.02556 ER -