No. Title Author Year
1 Front Matter, Table of Contents, Preface, Conference Organization Bläser, Markus et al. 2021
2 LIPIcs, Volume 187, STACS 2021, Complete Volume Bläser, Markus et al. 2021
3 Playing Stochastically in Weighted Timed Games to Emulate Memory Monmege, Benjamin et al. 2021
4 Reaching Your Goal Optimally by Playing at Random with No Memory Monmege, Benjamin et al. 2020
5 Determinisation of Finitely-Ambiguous Copyless Cost Register Automata Lopez, Théodore et al. 2019
6 Dynamics on Games: Simulation-Based Techniques and Applications to Routing Brihaye, Thomas et al. 2019
7 Symbolic Approximation of Weighted Timed Games Busatto-Gaston, Damien et al. 2018
8 Timed-Automata-Based Verification of MITL over Signals Brihaye, Thomas et al. 2017
9 Quantitative Games under Failures Brihaye, Thomas et al. 2015
10 Simple Priced Timed Games are not That Simple Brihaye, Thomas et al. 2015
11 To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games Brihaye, Thomas et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 11


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