TY - RPRT TI - Optimal Reachability in Divergent Weighted Timed Games AU - Damien Busatto-Gaston AU - Benjamin Monmege AU - Pierre-Alain Reynier PY - 2017 UR - https://arxiv.org/abs/1701.03716 ID - 1701.03716 ER -