Julien Reichert

Undecidability of Two-dimensional Robot Games pdf

Igor Potapov, Reino Niskanen, Julien Reichert, 2016, MFCS.

On the Complexity of Counter Reachability Games pdf

Julien Reichert, 2013, RP.

The Complexity of Robot Games on the Integer Line

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

On decidability and complexity of low-dimensional robot games

Igor Potapov, Reino Niskanen, Julien Reichert, 2020, J. Comput. Syst. Sci..

Realizability of real-time logics : decidability and implementation

Jean-François Raskin, Nathalie Sznajder, Laurent Doyen, 2010 .

Realizability of Real-Time Logics

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

On The Complexity of Counter Reachability Games

Julien Reichert, 2016, Fundam. Informaticae.

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

Julien Reichert, 2015 .