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 |