Julien Reichert

According to our database, Julien Reichert authored at least 6 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

On decidability and complexity of low-dimensional robot games.

Reino Niskanen, Igor Potapov, Julien Reichert

J. Comput. Syst. Sci., 2020

2016

On The Complexity of Counter Reachability Games.

Julien Reichert

Fundam. Informaticae, 2016

Undecidability of Two-dimensional Robot Games.

Reino Niskanen, Igor Potapov, Julien Reichert

Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016

2015

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

Julien Reichert

PhD thesis, 2015

2013

The Complexity of Robot Games on the Integer Line.

Arjun Arul, Julien Reichert

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

2009

Realizability of Real-Time Logics.

Laurent Doyen, Gilles Geeraerts, Jean-François Raskin, Julien Reichert

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009