Search

• < Previous
• 1
• Next >

Optimal controller synthesis for timed systems

Weighted timed games are zero-sum games played by two players on a timed automaton equipped with weights, where one player wants to minimise the cumulative weight while reaching a target. Used in a reactive synthesis perspective, this quantitative extension of timed games allows one to measure the&nbsp;[&hellip;]