Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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. .

This list was generated on Sun Nov 15 08:30:43 2020 GMT.