4 citations · 11 across the 6 of their papers we have counts for
1 paper · 2 filters
Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna +3
Priced timed games (PTGs) are two-player zero-sum games played on the infinite graph of configurations of priced timed automata where two players take turns to choose transitions i…