| No. |
Title |
Author |
Year |
| 1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Pérez, Guillermo A. et al. |
2023 |
| 2 |
LIPIcs, Volume 279, CONCUR 2023, Complete Volume |
Pérez, Guillermo A. et al. |
2023 |
| 3 |
Parikh One-Counter Automata |
Cadilhac, Michaël et al. |
2023 |
| 4 |
The Geometry of Reachability in Continuous Vector Addition Systems with States |
Almagor, Shaull et al. |
2023 |
| 5 |
Revisiting Parameter Synthesis for One-Counter Automata |
Pérez, Guillermo A. et al. |
2022 |
| 6 |
Coverability in 1-VASS with Disequality Tests |
Almagor, Shaull et al. |
2020 |
| 7 |
On the Complexity of Reachability in Parametric Markov Decision Processes |
Winkler, Tobias et al. |
2019 |
| 8 |
On the Complexity of Value Iteration |
Balaji, Nikhil et al. |
2019 |
| 9 |
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints |
Kretínský, Jan et al. |
2018 |
| 10 |
When is Containment Decidable for Probabilistic Automata? |
Daviaud, Laure et al. |
2018 |
| 11 |
Admissibility in Quantitative Graph Games |
Brenguier, Romain et al. |
2016 |
| 12 |
Minimizing Regret in Discounted-Sum Games |
Hunter, Paul et al. |
2016 |
| 13 |
Quantitative Games under Failures |
Brihaye, Thomas et al. |
2015 |
| 14 |
Reactive Synthesis Without Regret |
Hunter, Paul et al. |
2015 |
