No. Title Author Year
1 A Game of Pawns Avni, Guy et al. 2023
2 History-Deterministic Parikh Automata Erlich, Enzo et al. 2023
3 Parikh Automata over Infinite Words Guha, Shibashis et al. 2022
4 Strategy Synthesis for Global Window PCTL Bordais, Benjamin et al. 2022
5 A Bit of Nondeterminism Makes Pushdown Automata Expressive and Succinct Guha, Shibashis et al. 2021
6 Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games Balachander, Mrudula et al. 2021
7 Expected Window Mean-Payoff Bordais, Benjamin et al. 2019
8 Two-Way Parikh Automata Filiot, Emmanuel et al. 2019
9 Safe and Optimal Scheduling for Hard and Soft Tasks Geeraerts, Gilles et al. 2018
10 Timed Network Games with Clocks Avni, Guy et al. 2018
11 Timed Network Games Avni, Guy et al. 2017
12 Mean-Payoff Games on Timed Automata Guha, Shibashis et al. 2016
13 Revisiting Robustness in Priced Timed Games Guha, Shibashis et al. 2015
Current Page :
Number of result pages: 1
Number of documents: 13


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