TY  - RPRT
TI  - Symbolic Optimal Reachability in Weighted Timed Automata
AU  - Patricia Bouyer
AU  - Maximilien Colange
AU  - Nicolas Markey
PY  - 2016
UR  - https://arxiv.org/abs/1602.00481
ID  - 1602.00481
ER  -