Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Conference or Workshop Item

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.

Book Section

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

This list was generated on Sat Oct 19 22:50:24 2019 CEST.