| No. |
Title |
Author |
Year |
| 1 |
Transience in Countable MDPs |
Kiefer, Stefan et al. |
2021 |
| 2 |
Coverability in 1-VASS with Disequality Tests |
Almagor, Shaull et al. |
2020 |
| 3 |
How to Play in Infinite MDPs (Invited Talk) |
Kiefer, Stefan et al. |
2020 |
| 4 |
Strategy Complexity of Parity Objectives in Countable MDPs |
Kiefer, Stefan et al. |
2020 |
| 5 |
Büchi Objectives in Countable MDPs |
Kiefer, Stefan et al. |
2019 |
| 6 |
On the Complexity of Value Iteration |
Balaji, Nikhil et al. |
2019 |
| 7 |
Costs and Rewards in Priced Timed Automata |
Fränzle, Martin et al. |
2018 |
| 8 |
On Restricted Nonnegative Matrix Factorization |
Chistikov, Dmitry et al. |
2016 |
| 9 |
Synchronizing Data Words for Register Automata |
Babari, Parvaneh et al. |
2016 |
| 10 |
Synchronizing Words for Weighted and Timed Automata |
Doyen, Laurent et al. |
2014 |
