The window mechanism, introduced by Chatterjee et al. for mean-payoff an...
The window mechanism was introduced by Chatterjee et al. to reinforce
me...
Clock-dependent probabilistic timed automata extend classical timed auto...
Interval Markov chains extend classical Markov chains with the possibili...