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