TY  - RPRT
TI  - Symbolic Approximation of Weighted Timed Games
AU  - Damien Busatto-Gaston
AU  - Benjamin Monmege
AU  - Pierre-Alain Reynier
PY  - 2018
UR  - https://arxiv.org/abs/1812.01062
ID  - 1812.01062
ER  -