research
∙
05/09/2022
Timed Games with Bounded Window Parity Objectives
The window mechanism, introduced by Chatterjee et al. for mean-payoff an...
share
research
∙
05/14/2021
Time Flies When Looking out of the Window: Timed Games with Window Parity Objectives
The window mechanism was introduced by Chatterjee et al. to reinforce me...
research
∙
06/07/2020
Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
Clock-dependent probabilistic timed automata extend classical timed auto...
research
∙
09/18/2018