61
Voted
FSTTCS
2006
Springer
15 years 14 days ago
2006
Springer
We consider timed games extended with cost information, and prove computability of the optimal cost and of -optimal memoryless strategies in timed games with one clock. In contrast...