Up a level |
Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Dixon, Clare ORCID: 0000-0002-4610-9533
(2022)
Local Reductions for the Modal Cube.
In:
Automated Reasoning.
Lecture Notes in Computer Science, 13385
.
Springer International Publishing, pp. 486-505.
ISBN 978-3-031-10768-9
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.
.