Optimal Reachability in Weighted Timed Automata and Games (Invited Talk)

This is an overview of the invited talk delivered at the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016).