Controller Synthesis for Safety Critical Planning - Orlandini, Andrea; Suriano, Marco; Cesta, Amedeo; Finzi, Alberto (2013 IEEE 25th International Conference on Tools with Artificial Intelligence, 2013)
Keywords: Artificial intelligence; Automata; Checkers; Conferences; Control systems; Controllers; Expert systems; Games; Inductors; Planning; Robust Planning and Execution; Robustness; Safety critical; Synthesis; Timed Game Automata; Timeline-based planning and scheduling