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 |