Pubblicazione in rivista scientifica

Finzi, Alberto (2010) Validation and verification issues in a timeline-based planning system. [Pubblicazione in rivista scientifica]

Finzi, Alberto (2008) Model-based control architecture for attentive robots in rescue scenarios. [Pubblicazione in rivista scientifica]

Contributo a Convegno o Workshop

Finzi, Alberto (2009) Flexible Timeline-Based Plan Verification. In: KI-2009, Settembre, Germany.

Burattini, Ernesto and Finzi, Alberto and Rossi, Silvia and Staffa, Mariacarla (2009) Monitoring strategies for adaptive periodic control in behavior-based robotic systems. In: 2nd ECSIS Symposium on Learning and Adaptive Behavior in Robotic Systems, 22-24 luglio 2009, Iasi - Romania.

Finzi, Alberto (2008) Merging Planning, Scheduling & Verification - A Preliminary Analysis. In: ASTRA 2008, 11 - 13 November 2008, Noordwijk, The Netherlands.

Finzi, Alberto (2008) Validation and Verification Issues in Timeline-based Planning Systems. In: KEPS-2008, September 14, 2008, Sydney, Australia.

Finzi, Alberto (2007) Team Programming in Golog under Partial Observability. In: IJCAI 2007, January 6-12 2007, Hyderabad, India.

Finzi, Alberto (2007) Team Programming in Golog under Partial Observability. In: IJCAI 2007, gennaio 2007, India.

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

Finzi, Alberto (2007) Adaptive Multi-Agent Programming in GTGolog. In: Proceedings of KI 2006. Springer, Lecture Notes in Artificial Intelligence, pp. 389-403. ISBN 3540699112

Finzi, Alberto (2007) Autonomous Attentive Exploration in Search and Rescue Scenarios. In: Attention in Cognitive Systems. Springer LNAI, pp. 431-466. ISBN 978-3-540-77342-9

Finzi, Alberto (2007) Game-Theoretic Agent Programming in Golog under Partial Observability. In: Proceedings of KI 2006. Springer, Lecture Notes in Artificial Intelligence, pp. 113-127. ISBN 3-540-69911-2

Prodotto cartografico

Cacace, Jonathan and Finzi, Alberto and Lippiello, Vincenzo and Loianno, Giuseppe and Sanzone, Dario (2013) Aerial Service Vehicles for Industrial Inspection: Task Decomposition and Plan Execution. [Prodotto cartografico]