Up a level |
Chistikov, Dmitry, Kiefer, Stefan, Murawski, Andrzej S and Purser, David ORCID: 0000-0003-0394-1634
(2022)
The Big-O Problem.
Logical Methods in Computer Science, Volume.
Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2019)
Büchi Objectives in Countable MDPs.
In: ICALP, 2019-7-8 - 2019-8-12, Patras, GR.
Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2020)
How to Play in Infinite MDPs (Invited Talk).
.
Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017)
On Strong Determinacy of Countable Stochastic Games.
In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017-6-20 - 2017-6-23, Reykjavik, Iceland.
Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017)
Parity Objectives in Countable MDPs.
In: 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017-6-20 - 2017-6-23.
Mayr, Richard, Schewe, Sven ORCID: 0000-0002-9093-9518, Totzke, Patrick ORCID: 0000-0001-5274-8190 and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2021)
Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP.
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2021, 12650.
pp. 427-447.
Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2020)
Strategy Complexity of Parity Objectives in Countable MDPs.
.
Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2020)
Transience in Countable MDPs.