J. Reichert

Reachability games with counters : decidability and algorithms

J. Reichert, 2015 .

Realizability of Real-Time Logics

Jean-François Raskin, Laurent Doyen, Gilles Geeraerts, 2009, FORMATS.

The Complexity of Robot Games on the Integer Line

Julien Reichert, Arjun Arul, J. Reichert, 2013, QAPL.