Patricia Bouyer, Maximilien Colange, Nicolas Markey
Symbolic Optimal Reachability in Weighted Timed Automata
CAV, 2016.
@inproceedings{CAV-2016-BouyerCM, author = "Patricia Bouyer and Maximilien Colange and Nicolas Markey", booktitle = "{Proceedings of the 28th International Conference on Computer Aided Verification, Part I}", doi = "10.1007/978-3-319-41528-4_28", isbn = "978-3-319-41527-7", pages = "513--530", publisher = "{Springer}", title = "{Symbolic Optimal Reachability in Weighted Timed Automata}", year = 2016, }