No. |
Title |
Author |
Year |
---|

1 |
Approximating the Value of Energy-Parity Objectives in Simple Stochastic Games |
Dantam, Mohan et al. |
2023 |

2 |
Strategy Complexity of Mean Payoff, Total Payoff and Point Payoff Objectives in Countable MDPs |
Mayr, Richard et al. |
2021 |

3 |
Transience in Countable MDPs |
Kiefer, Stefan et al. |
2021 |

4 |
How to Play in Infinite MDPs (Invited Talk) |
Kiefer, Stefan et al. |
2020 |

5 |
Strategy Complexity of Parity Objectives in Countable MDPs |
Kiefer, Stefan et al. |
2020 |

6 |
Büchi Objectives in Countable MDPs |
Kiefer, Stefan et al. |
2019 |

7 |
Universal Safety for Timed Petri Nets is PSPACE-complete |
Abdulla, Parosh Aziz et al. |
2018 |

8 |
Model Checking Flat Freeze LTL on One-Counter Automata |
Lechner, Antonia et al. |
2016 |

9 |
Simulation Over One-counter Nets is PSPACE-Complete |
Hofman, Piotr et al. |
2013 |