Up a level |
Number of items: 2.
Almagor, Shaull, Boker, Udi, Hofman, Piotr and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2020)
Parametrized Universality Problems for One-Counter Nets.
.
Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2020)
Strategy Complexity of Parity Objectives in Countable MDPs.
.