EasyChair Smart Slide
A journey through negatively-weighted timed games: undecidability, decidability, approximability
A journey through negatively-weighted timed games: undecidability, decidability, approximability