The Complexity of Robot Games on the Integer Line. - Arjun Arul; Julien Reichert (QAPL, 2013)