ARRIVAL: A zero-player graph game in NP $\cap$ coNP

Jérôme Dohrau, Bernd Gärtner, Manuel Kohler +2

Suppose that a train is running along a railway network, starting from a designated origin, with the goal of reaching a designated destination. The network, however, is of a specia…