 | Up a level |
Number of items: 2.
Hofman, P, Lasota, S, Mayr, R and Totzke, P 
ORCID: 0000-0001-5274-8190
(2013)
Simulation over one-counter nets is PSPACE-complete.
.
Kiefer, S, Mayr, R, Shirmohammadi, M and Totzke, P ORCID: 0000-0001-5274-8190
(2021)
Transience in Countable MDPs.
In: 32nd International Conference on Concurrency Theory (CONCUR 2021), 2021-8-23 - 2021-8-27, Paris.