J. Reichert

From MaRDI portal
Person:2009640



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
The complexity of robot games on the integer line2021-06-09Paper
The complexity of robot games on the integer line
(available as arXiv preprint)
2021-06-09Paper
On decidability and complexity of low-dimensional robot games
Journal of Computer and System Sciences
2019-11-29Paper
Undecidability of two-dimensional robot games
(available as arXiv preprint)
2018-03-21Paper
On the complexity of counter reachability games
Fundamenta Informaticae
2017-03-16Paper
On the Complexity of Counter Reachability Games
Lecture Notes in Computer Science
2014-07-07Paper
Realizability of real-time logics
Lecture Notes in Computer Science
2009-12-01Paper


Research outcomes over time


This page was built for person: J. Reichert