Distributed collision avoidance for autonomous vehicles: World automata representation