Alessandro Cimatti, Luke Hunsberger, Andrea Micheli, Marco Roveri. Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty. In Carla E. Brodley, Peter Stone, editors, Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada. pages 2242-2249, AAAI Press, 2014. [doi]
@inproceedings{CimattiHMR14,
title = {Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty},
author = {Alessandro Cimatti and Luke Hunsberger and Andrea Micheli and Marco Roveri},
year = {2014},
url = {http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/view/8512},
researchr = {https://researchr.org/publication/CimattiHMR14},
cites = {0},
citedby = {0},
pages = {2242-2249},
booktitle = {Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada},
editor = {Carla E. Brodley and Peter Stone},
publisher = {AAAI Press},
isbn = {978-1-57735-661-5},
}