Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.