Search

• < Previous
• 1
• Next >

One-Clock Priced Timed Games with Negative Weights

Priced timed games are two-player zero-sum games played on priced timed automata (whose locations and transitions are labeled by weights modelling the cost of spending time in a state and executing an action, respectively). The goals of the players are to minimise and maximise the cost to reach a&nbsp;[&hellip;]