Optimal Reachability in Divergent Weighted Timed Games.

Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier

Browse the full FOSSACS paper archive.