Contributo a Convegno o Workshop

Orlandini, Andrea and Finzi, Alberto and Cesta, Amedeo USING VALIDATION AND VERIFICATION TECHNIQUES FOR ROBUST PLAN EXECUTION. In: International Symposium on Artificial Intelligence, Robotics and Automation in Space, 2012, Torino, Italy.

Capitolo di libro

Orlandini, Andrea and Finzi, Alberto and Cesta, Amedeo and Fratini, Simone (2011) TGA-based Controllers for Flexible Plan Execution. In: KI 2011: Advances in Artificial Intelligence. 34th Annual German Conference on AI Berlin, Germany, October 4-7, 2011 Proceedings. Lecture Notes in Artificial Intelligence, volume 7006, Subseries of Lecture Notes in Computer Science . Springer, pp. 233-245. ISBN 978-3-642-24454-4