Symbolic Optimal Reachability in Weighted Timed Automata

Bouyer, Patricia; Colange, Maximilien; Markey, Nicolas

doi:10.1007/978-3-319-41528-4_28

by Patricia Bouyer, Maximilien Colange, Nicolas Markey

Reference:

Symbolic Optimal Reachability in Weighted Timed Automata (Patricia Bouyer, Maximilien Colange, Nicolas Markey), In Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I (Swarat Chaudhuri, Azadeh Farzan, eds.), Springer, volume 9779, 2016.

Bibtex Entry:

@inproceedings{bouyer2016symbolic,
	Author = {Patricia Bouyer and Maximilien Colange and Nicolas Markey},
	Booktitle = {Computer Aided Verification - 28th International Conference, {CAV} 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part {I}},
	Doi = {10.1007/978-3-319-41528-4_28},
	Editor = {Swarat Chaudhuri and Azadeh Farzan},
	Month = {July},
	Pages = {513--530},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Symbolic Optimal Reachability in Weighted Timed Automata},
	Volume = {9779},
	Year = {2016},
	url = {documents/cav_2016.pdf}}