13 citations · 28 across the 13 of their papers we have counts for
1 paper · 1 filter
Thomas Dueholm Hansen, Rasmus Ibsen-Jensen, Peter Bro Miltersen
One-clock priced timed games is a class of two-player, zero-sum, continuous-time games that was defined and thoroughly studied in previous works. We show that one-clock priced time…