Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 5.


Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Totzke, Patrick ORCID: 0000-0001-5274-8190
(2019) Büchi Objectives in Countable MDPs. .


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-06-20 - 2017-06-23, Reykjavik, Iceland.


Kiefer, Stefan, Mayr, Richard, Shirmohammadi, Mahsa and Wojtczak, Dominik ORCID: 0000-0001-5560-0546
(2017) Parity Objectives in Countable MDPs. .


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 Mon Nov 23 06:39:50 2020 GMT.