I am member of the ALCOR laboratory (University of Rome "La Sapienza").
I got a post doc position at LAAS (Laboratoire d'Analyse et d'Architecture des Systemes) in France (TOULOUSE). I was working with Felix Ingrand at RIA group.
I got my PhD in Computer Science and Automation at the Computer Science and Automation Department of University of Rome TRE.
Here you can find an
extended CV (in Italian, to be updated...).
Here you can find a short CV (in english) (To be updated...).
Research Interests
Logic
Linear Temporal Logic.
Parallel algorithm for LTL tableaux calculus.
Efficient data structure for logic formulae representations.
Planning and Execution
Planning as satisfiability.
Specification languages for planning domain.
Reactive planning.
Mixed-Initiative planning.
Verification and Validation
Robotic system
Rescue Robots.
Planetary Rovers.
Research Projects
"Goal Oriented Autonomous Controller" project (GOAC) funded by the European Space Agency (ESA) (2009-2011).
"USOCs KnowLedge Integration and dissemination for Space Science and Exploration" (ULISSE) Research Program funded by EC 7thFP (2008-2011).
"Architecture Générique pour l’Autonomie: Tests et Applications" (AGATA) Research Program funded by CNES and ONERA (2006-2009).
"Simulation and robotic systems for operations in emergency scenarios" (SRSOES) PRIN funded by MIUR (2003-2005).
RoboCup Events
RoboCup Real Rescue Contest 2004 Lisbon - Portugal (third award)
RoboCup Real Rescue Contest 2005 Osaka - Japan (semifinals)
Professor for Master in "Sistemi Complessi per la Mobilita' Metropolitana Sostenibile (SCMMS)".
Professor for Computer Science (ECDL) at Istituto Universitario di Scienze Motorie in Rome.
Pubblications
International Journals
[KER10] A. Cesta, A. Finzi, S. Fratini, A. Orlandini, E. Tronci. Validation and Verification Issues in a Timeline Planning System. The Knowledge Engineering Review. Cambridge University Press. (I.F. 1.312) To appear.
[AURO08] A. Carbone, A. Finzi, A. Orlandini, F. Pirri. Model-based control architecture for attentive robots in rescue scenarios. Autonomous Robots, 24:87-120. ISSN 0929-5593. Springer. (I.F. 1.25) January 2008.
[JLLI07] M. Cialdea, C. Limongelli, A. Orlandini, V. Poggioni. Linear Temporal Logic as an Executable Semantics for Planning Languages. Journal of Logic Language and Information, 16:63-89. ISSN 0925-8531. Springer. (I.F. ) January 2007.
National Journals
[MED08] A. Orlandini, R. Rasconi. Autonomy role in space robotics - Il ruolo dell'autonomia nella robotica spaziale. MEDIA2000. ISSN 0393-0599. Nr. 260. October 2008.
[IAM05] V. Poggioni, M. Cialdea, C. Limongelli, A. Orlandini. A Proposal for Planning with graded fluents and actions. Intelligenza Artificiale. ISSN 1724-8035. 2005.
International Conferences
[KI09] A. Cesta, A. Finzi, S. Fratini, A. Orlandini, E. Tronci.
Flexible Timeline-Based Plan Verification.
In proc. of the German Conference on Artificial Intelligence "KI 2009: Advances in Artificial Intelligence". 2009.
[AIIA05] A. Finzi and A. Orlandini. Human-Robot Interaction through Mixed-Initiative Planning for Rescue and Search Rovers. In Proc. of 9th Congress of the Italian Association for
Artificial Intelligence Intelligence. LNAI 3673, Bandini S., Manzoni S. (Eds.) XIV, ISBN 3-540-29041-9. 2005.
[TAB05] M. Cialdea, C. Limongelli, A. Orlandini, V. Poggioni. Pdk: the system and its language. In Proc. of International
Conference TABLEAUX, Automated Reasoning with Analytic Tableaux
and Related Methods. LNAI 3702 - Springer Verlag, Beckert B. Eds. ISBN 3-540-28931-3. 2005.
[IROS05] A. Carbone, A. Finzi, A. Orlandini, F. Pirri, G. Ugazio. Augmenting Situation Awareness via Model-Based Control in Rescue Robots.
In Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). ISBN 0-7803-8913-1. 2005.
[IJCAI05] V.Poggioni, M. Cialdea, C. Limongelli, A. Orlandini. Planning with Graded Fluents and Actions.
\newblock In Proc. of International Joint Conference on Artificial Intelligence. Leslie
Pack Kaelbling and Alessandro Saffiotti Eds. 2005.
[Tab03] C. Limongelli, A. Orlandini, V. Poggioni.
A Parallel Computation Technique for Linear Time Logic Tableaux.
In M. Cialdea Mayer, F. Pirri, Tableaux 2003, Position Papers and
Tutorials. Aracne Eds. 2003.
[AIPS2k] M. Cialdea, A. Orlandini, C. Limongelli, G. Balestreri.
A Planner Fully Based on Linear Temporal Logic.
In Proc. of 5th International Conference on Artificial Intelligence,
Planning and Scheduling (AIPS 2000). S. Chien, S. Kambhampati and
C. A. Knoblock Eds., pages 347-354. AAAI Press. 2000.
National Conferences
[AIIA04a] V. Poggioni, M. Cialdea, C. Limongelli, A. Orlandini.
Planning with Graded Fluents and Actions.
Lecture Notes of Workshop on Planning and Scheduling, AI*IA 2004 Congress. 2004.
[AIIA04b] M. Cialdea, C. Limongelli, A.
Orlandini, V. Poggioni.
Towards a Parallel Search Engine for Planning Systems Based on Linear Logic.
Lecture Notes of Workshop on Planning and Scheduling, AI*IA 2004 Congress. 2004.
[AIIA03] M. Cialdea, C. Limongelli, A. Orlandini, V. Poggioni.
Planning under Uncertainty in Linear Time Logic.
In Proc. of AI*IA 2003: Advances in Artificial Inteligence. A. Cappelli,
F. Turini (eds.), LNAI 2829, pages 324-335, Springer, 2003.
Workshop
[RCRA09] A. Cesta, A. Finzi, S. Fratini, A. Orlandini, E. Tronci.
Flexible Plan Verification: Feasibility Results.
In proc. of the 16th RCRA International Workshop on "Experimental evaluation of algorithms for solving
problems with combinatorial explosion" (RCRA). 2009.
[VVPS09] A. Cesta, A. Finzi, S. Fratini, A. Orlandini, E. Tronci.
Verifying Flexible Timeline-based Plans.
In E-Proc. of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems. 2009.
[ASTRA08] A. Cesta, A. Finzi, S. Fratini, A. Orlandini, E. Tronci.
Merging Planning, Scheduling & Verification - A Preliminary Analysis
In Proc. of 10th ESA Workshop on Advanced Space Technologies for Robotics and Automation (ASTRA). 2008.
[KEPS08] A. Cesta, A. Finzi, S. Fratini, A. Orlandini, E. Tronci.
Validation and Verification Issues in a Timeline-based Planning System.
In E-Proc. of ICAPS Workshop on Knowledge Engineering for Planning and Scheduling. 2008.
[CSCLP08] A. Orlandini.
Model-Based Rescue Robot Control with ECLiPSe Framework.
In Proc. of Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming. 2008.
[SSRR05] A. Carbone, A. Finzi, A. Orlandini; F. Pirri, G. Ugazio.
Situation Awareness Rescue Robots. In Proc. of IEEE International Workshop on Safety, Security and Rescue Robotics
(SSRR). pp. 240-246. 2005.
[MIPAS05] A. Finzi and A. Orlandini.
A Mixed-Initiative Approach to Human-Robot Interaction in Rescue Scenarios.
In Printed Notes of Workshop on Mixed-Initiative Planning And
Scheduling (ICAPS 05). pp. 36-43. 2005.
[WS2k] M. Cialdea, C. Limongelli, A. Orlandini, G. Balestreri.
The Main Features of a Planner Fully Based on LTL.
Printings of Workshop on Model Theoretic Approaches to Planning, AIPS 2000.
Technical Report
[LAAS07] A.Orlandini, O.Buffet, F.Ingrand.
Rapports de Contrat. Contrat CNES. Rapport LAAS N°07004. Janvier 2007.
[LAAS06] F. Py, F. Perrot, Y. Pencole, A. Orlandini, L.Trave-Massuyes, F. Ingrand.
Rapport de synthèse sur l'activité : études et définitions de modèles
Rapports de Contrat. Contrat CNES. Rapport LAAS N°06547. Septembre 2006.
PhD Thesis
[DOT] A.~Orlandini.
Logic Based Approaches to Artificial Intelligence Planning and Robot Control.
Università degli Studi Roma TRE, 2006.
Tesi di Dottorato di Ricerca in Informatica e Automazione, Università degli Studi di Roma TRE. Aprile 2006.
Diploma Laurea
[LAU] A.~Orlandini.
Planning as model search in linear temporal logic.
Pianificazione mediante ricerca di modelli in logica temporale lineare.
Tesi di Laurea in Ingegneria Informatica, Università degli Studi di Roma TRE, Marzo 2002.
Others
[TDP05] A. Carbone, A. Finzi, A. Orlandini, F. Pirri, G. Ugazio.
RoboCupRescue - Robot League Team ALCOR, Team
Description Paper.
In Electronic Proceedings of RoboCup. 2005.
[DC05] A. Orlandini
Mixed-Initiative Planning Approach to Rescue Robotic System.
In Printing of Doctoral Consortium (ICAPS) 2005.
[TDP04] A. Carbone, G. Ugazio, A. Finzi, F. Pirri, M. Cialdea, M. Iarusso,
A. Orlandini.
RoboCupRescue - Robot League Team ALCOR, Team Description Paper.
In Electronic Proceedings of RoboCup. 2004.
[PLN04] A. Orlandini.
Contingency Planning in LTL.
In PLANET Newsletter. Issue 8. pp. 21-28. ISSN 1610-0204. 2004.
[DC03] A. Orlandini.
Contingency Planning in LTL
In Printing of Doctoral Consortium (ICAPS) 2003.
