Patricia Bouyer, Thomas Brihaye, Marcin Jurdzinski, Ranko Lazic, Michal Rutkowski. Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets. In Franck Cassez, Claude Jard, editors, Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Volume 5215 of Lecture Notes in Computer Science, pages 63-77, Springer, 2008. [doi]
@inproceedings{BouyerBJLR08,
title = {Average-Price and Reachability-Price Games on Hybrid Automata with Strong Resets},
author = {Patricia Bouyer and Thomas Brihaye and Marcin Jurdzinski and Ranko Lazic and Michal Rutkowski},
year = {2008},
doi = {10.1007/978-3-540-85778-5_6},
url = {http://dx.doi.org/10.1007/978-3-540-85778-5_6},
researchr = {https://researchr.org/publication/BouyerBJLR08},
cites = {0},
citedby = {0},
pages = {63-77},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
editor = {Franck Cassez and Claude Jard},
volume = {5215},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-85777-8},
}