Realizability of Real-Time Logics. - Laurent Doyen 001; Gilles Geeraerts; Jean-François Raskin; Julien Reichert (FORMATS, 2009)

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

Reachability games with counters : decidability and algorithms. (Décidabilité et complexité de jeux d'accessibilité sur des systèmes à compteurs). - Julien Reichert (2015)

Undecidability of Two-dimensional Robot Games. - Reino Niskanen; Igor Potapov; Julien Reichert (MFCS, 2016)

On The Complexity of Counter Reachability Games. - Julien Reichert (Fundam. Informaticae, 2016)

On decidability and complexity of low-dimensional robot games. - Reino Niskanen; Igor Potapov; Julien Reichert (J. Comput. Syst. Sci., 2020)