17 citations · 17 across the 1 of their papers we have counts for
1 paper
Michal Rutkowski
We study two player reachability-price games on single-clock timed automata. The problem is as follows: given a state of the automaton, determine whether the first player can guara…