| No. |
Title |
Author |
Year |
| 1 |
Deciding What Is Good-For-MDPs |
Schewe, Sven et al. |
2023 |
| 2 |
Singly Exponential Translation of Alternating Weak Büchi Automata to Unambiguous Büchi Automata |
Li, Yong et al. |
2023 |
| 3 |
Natural Colors of Infinite Words |
Ehlers, Rüdiger et al. |
2022 |
| 4 |
Minimising Good-For-Games Automata Is NP-Complete |
Schewe, Sven |
2020 |
| 5 |
Model-Free Reinforcement Learning for Stochastic Parity Games |
Hahn, Ernst Moritz et al. |
2020 |
| 6 |
Front Matter, Table of Contents, Preface, Conference Organization |
Schewe, Sven et al. |
2018 |
| 7 |
LIPIcs, Volume 118, CONCUR'18, Complete Volume |
Schewe, Sven et al. |
2018 |
| 8 |
Maximum Rooted Connected Expansion |
Lamprou, Ioannis et al. |
2018 |
| 9 |
Parity Games with Weights |
Schewe, Sven et al. |
2018 |
| 10 |
Front Matter, Table of Contents, Preface, Organization, List of Authors |
Schewe, Sven et al. |
2017 |
| 11 |
LIPIcs, Volume 90, TIME'17, Complete Volume |
Schewe, Sven et al. |
2017 |
| 12 |
Lazy Probabilistic Model Checking without Determinisation |
Hahn, Ernst Moritz et al. |
2015 |
| 13 |
Bounded Satisfiability for PCTL |
Bertrand, Nathalie et al. |
2012 |
| 14 |
Efficient Approximation of Optimal Control for Continuous-Time Markov Games |
Fearnley, John et al. |
2011 |
| 15 |
Beyond Hyper-Minimisation---Minimising DBAs and DPAs is NP-Complete |
Schewe, Sven |
2010 |
| 16 |
Software Synthesis is Hard -- and Simple |
Schewe, Sven |
2010 |
| 17 |
Büchi Complementation Made Tight |
Schewe, Sven |
2009 |
