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
Current Page :
Number of result pages: 1
Number of documents: 14

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI