Andrea Orlandini

publications
[1] Amedeo Cesta, Luca Coraci, Gabriella Cortellessa, Riccardo De Benedictis, Francesco Furfari, Andrea Orlandini, Filippo Palumbo, and Ales Stimec.From Sensor Data to User Services in GiraffPlus.In Ambient Assisted Living: Italian Forum 2013, Proceedings of the 4th Italian Forum on Ambient Assisted Living. Ancona, Italy, October 23-25 2013. Springer (to be published), 2014
[bib][abstract]
[2] Bevilacqua, R., Cesta, A., Cortellessa, G., Macchione, A., Orlandini, A., Tiberio, L..Telepresence robot at home: A long-term case study.In Ambient Assisted Living: Italian Forum 2013, Proceedings of the 4th Italian Forum on Ambient Assisted Living. Ancona, Italy, October 23-25 2013. Springer (to be published), 2014
[bib][abstract]
[3] Bensalem, S., Havelund, K. and Orlandini, A..Verification and validation meet planning and scheduling.In International Journal on Software Tools for Technology Transfer, 16(1) pp. 1-16. Springer Berlin Heidelberg, 2014
[bib][abstract]
[4] Orlandini, A., Bernardi, G., Cesta, A., Finzi, A..Integrating Knowledge Engineering for Planning with Validation and Verification Tools.In Proceedings of the XIII Conference of the Italian Association for Artificial Intelligence, Torino (Italy), December 4-6 2013. AI*IA 2013: Advances in Artificial Intelligence. Lecture Notes in Computer Science Volume 8249, pp 251-262, 2013
[bib][abstract]
[5] Orlandini, A., Suriano, M., Cesta, A., Finzi, A..A TGA-based Method for Safety Critical Plan Execution.In Proceedings of the 5th Italian Workshop on Planning and Scheduling (IPS 2013), pp. 39-46. Turin, Italy, December 4th, 2013
[bib][abstract]
[6] .Toward a Test Environment for Autonomous Controllers.In Proceedings of the 5th Italian Workshop on Planning and Scheduling (IPS 2013), pp. 3-10. Turin, Italy, December 4th, 2013
[bib][abstract]
[7] Orlandini, A., Suriano, M., Cesta, A. and Finzi, A..Controller Synthesis for Safety Critical Planning.In Proceedings of the IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), pp. 306-313. Washington DC, USA, November 4-6, 2013. IEEE Computer Society, 2013
[bib][abstract]
[8] Cesta, A., Coraci, L., Cortellessa, G., De Benedictis, R., Orlandini, A., Palumbo F. and Stimec, A..End-to-End Personalized AAL Services for Elderly with Chronic Conditions (Abstract paper).In , 2013
[bib][abstract]
[9] Cesta, A., Coraci, L., Cortellessa, G., De Benedictis, R., Orlandini, A., Palumbo, F., Stimec, A..Steps Toward End-to-End Personalized AAL Services.In , 2013
[bib][abstract]
[10] Kuijpers, E., Carotenuto, L., Malapert, J.C., Markov-Vetter, D., Melatti, I., Orlandini, A. and Pinchuk, R..Collaboration on ISS experiment data and knowledge representation.In Proceedings of the 63rd International Astronautical Congress (IAC 2012), 1-5 October 2012, Naples, Italy, vol. 12, pp 9589 - 9603. Curran Associates, Inc., 2013
[bib][abstract]
[11] Carotenuto, L., Ceriello, A., Cesta, A., De Benedictis, R., Orlandini, A., Rasconi, R..Planning and Scheduling Services to support facility management in the ISS.In Proceedings of the 63rd International Astronautical Congress (IAC 2012), 1-5 October 2012, Naples, Italy, vol. 6, pp 4901-4913. Curran Associates, Inc., 2013
[bib][abstract]
[12] Coradeschi, S. et al..Giraffplus: Combining social interaction and long term monitoring for promoting independent living.In Proceedings of the 6th International Conference on Human System Interaction (HSI), pp. 578-585. Sopot, Poland, June 6-8, 2013
[bib][abstract]
[13] Bisiani et al..Fostering Social Interaction of Home-Bound Elderly People: The EasyReach System.In Proceedings of the 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2013), pp. 33-42, 2013
[bib][abstract]
[14] Cesta, A., De Benedictis, R., Orlandini, A., Rasconi, R., Carotenuto, L., and Ceriello, A..Integrating Planning and Scheduling in the ISS Fluid Science Laboratory Domain.In Proceedings of the 26th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE 2013), pp. 191-201, 2013
[bib][abstract]
[15] Cesta, A., Orlandini, A. and Umbrico, A..Toward a general purpose software environment for timeline-based planning.In Proceedings of the 20th RCRA International Workshop on "Experimental Evaluation of Algorithms for solving problems with combinatorial explosion" (RCRA 2013). Rome (Italy), June 14-15, 2013
[bib][abstract]
[16] Bernardi, G., Cesta, A., Orlandini, A., Finzi, A..A Knowledge Engineering Environment for P&S with Timelines.In 23rd International Conference on Automated Planning and Scheduling. Proceedings of the Knowledge Engineering for Planning and Scheduling workshop (KEPS 2013), 2013
[bib][abstract]
[17] Cesta, A., De Benedictis, R., Orlandini, A., Umbrico, A., Bernardi, G..Integrating Planning and Scheduling Capabilities in a Space Robotics Domain.In ASTRA 2013. Proc. of 12th Symposium on Advanced Space Technologies in Robotics and Automation. May 15-17 2013, Noordwijk, the Netherlands, 2013
[bib][abstract]
[18] .An AI Based Online Scheduling Controller for Highly Automated Production Systems.In Proceedings of the 1st Conference on Robust Manufacturing Control (RoMaC-2012), Bremen, Germany, 18-20 June 2012, pp. 105-119. Springer Berlin, 2013
[bib][abstract]
[19] Cesta, A., Cortellessa, G., Orlandini, A., and Tiberio, L..Evaluating Telepresence Robots in the Field.In , 2013
[bib][abstract]
[20] Kuijpers, E., Carotenuto, L., Malapert, J.C., Markov-Vetter, D., Melatti, I., Orlandini, A. and Pinchuk, R..Collaboration on ISS experiment data and knowledge representation (Technical Report NLR-TP-2012-347).In National Aerospace Laboratory NLR, The Netherlands, October 31, 2012
[bib][abstract]
[21] Orlandini, A., Cesta, A., Finzi, A..Using Validation and Verification Techniques for Robust Plan Execution.In proc. of International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2012). 4-6 September 2012, Turin, Italy, 2012
[bib][abstract]
[22] Cesta, A., Fratini, S., Orlandini, A., Rasconi, R..Continuous Planning and Execution with Timelines.In proc. of International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2012). 4-6 September 2012, Turin, Italy, 2012
[bib][abstract]
[23] .Closed-loop Production and Automation Schedule Execution in RMSs under Uncertain Environmental Conditions.In , 2012
[bib][abstract]
[24] Cesta, A., Cortellessa, G., Orlandini, A., Tiberio, L..Into the Wild: Pushing a Telepresence Robot Outside the Lab.In Proc. of Social Robotic Telepresence Workshop at Ro-Man 2012 (SRT 2012), Sept 9 2012, pp. 7-14, Paris, France, 2012
[bib][abstract]
[25] Cesta, A., Cortellessa, G., Orlandini, A., Tiberio, L..Robot di telepresenza e operatori socio-sanitari: una indagine esplorativa (in Italian).In AAL in Italia - Primo Libro Bianco, pp. 74-78, TG Book Editore, 2012
[bib][abstract]
[26] Cesta, A., Cortellessa, G., Fracasso, F., Orlandini, A., Turno, M...In AAL in Italia - Primo Libro Bianco, pp. 89-94, TG Book Editore, 2012
[bib][abstract]
[27] Bisiani, R. et al..EasyReach: un sistema per agevolare la socializzazione a distanza tra utenti anziani pre digital-divide (in Italian).In AAL in Italia - Primo Libro Bianco, pp. 183-185, TG Book Editore, 2012
[bib][abstract]
[28] Cesta, A., Cortellessa, G., Orlandini, A., Tiberio, L..Addressing the Long-Term Evaluation of a Telepresence Robot for the Elderly.In 4th International Conference on Agents and Artificial Intelligence (ICAART 2012). Vilamoura, Algarve, Portugal. 6-8 February 2012, pp. 652-663. SciTePress, 2012
[bib][abstract]
[29] Orlandini, A., Finzi, A., Cesta, A., and Fratini., S..TGA-Based Controllers for Flexible Plan Execution.In proc. of "KI 2011: Advances in Artificial Intelligence, 34th Annual German Conference on AI", Lecture Notes in Computer Science, Vol. 7006. pp 233-245, 2011
[bib][abstract]
[30] Carpanzano, E., Cesta, A., Orlandini, A., Rasconi, R., and Valente, A..Closed-loop production and automation scheduling in RMSs.In ETFA 2011. The IEEE 16th Conference on Emerging Technologies & Factory Automation. IEEE, 2011
[bib][abstract]
[31] Cesta, A., Fratini, S., Rasconi, R., and Orlandini, A..A Planning and Scheduling Service for the ULISSE Platform.In , 2011
[bib][abstract]
[32] Cesta, A., Fratini, S., Orlandini, A., Rasconi, R..Supporting Increment Planning Processes within the ULISSE Framework.In IWPSS 2011. Proc. of 7th International Workshop on Planning and Scheduling for Space. June 8-11 2011, Darmstadt, Germany, 2011
[bib][abstract]
[33] Orlandini, A., Finzi, A., Cesta, A., Fratini, S..Generating Controllers for Flexible Plan Execution: a TGA approach.In VVPS-11. Printed Notes of ICAPS Workshop on Validation and Verification of Planning and Scheduling Systems. June 13 2011, Freiburg, Germany., 2011
[bib][abstract]
[34] Fratini, S., Cesta, A., Orlandini, A., Rasconi, R., De Benedictis, R..APSI-based Deliberation in Goal Oriented Autonomous Controllers.In ASTRA 2011. Proc. of 11th Symposium on Advanced Space Technologies in Robotics and Automation. April 12-14 2011, Noordwijk, the Netherlands, 2011
[bib][abstract]
[35] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E..Enriching APSI with Validation Capabilities: the KEEN environment and its use in Robotics.In ASTRA 2011. Proc. of 11th Symposium on Advanced Space Technologies in Robotics and Automation. April 12-14 2011, Noordwijk, the Netherlands, 2011
[bib][abstract]
[36] Ceballos, A., et al..A Goal-Oriented Autonomous Controller for Space Exploration.In ASTRA 2011. Proc. of 11th Symposium on Advanced Space Technologies in Robotics and Automation. April 12-14 2011, Noordwijk, the Netherlands, 2011
[bib][abstract]
[37] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.Flexible Plan Verification: Feasibility Results.In Fundamenta Informaticae, 107(2-3): 111-137, 2011
[bib][abstract]
[38] Orlandini, A., Finzi, A., Cesta, A., Fratini, S. and Tronci, E.Formal Methods for Plan-based Robot Autonomy: A Case Study.In PlanSIG-10. Brescia, Italy, December 1-2, 2010
[bib][abstract]
[39] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.Validation and Verification Issues in a Timeline-Based Planning System.In Knowledge Engineering Review, 25(3): 299-318, 2010
[bib][abstract]
[40] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.Analyzing Flexible Timeline-based Plans.In ECAI-10. Proceedings of the 19th European Conference on Artificial Intelligence. Lisbon, Portugal, August, pp. 471-476, 2010
[bib][abstract]
[41] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E.Validating Timeline-based Plans for Robots: Current Results.In DRHE-10. The Seventh IARP Workshop on Technical Challenges for Dependable Robots in Human Environments (Abstract Only), Toulouse, France, June 16-17, 2010
[bib][abstract]
[42] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E.How Hard is Verifying Flexible Temporal Plans for the Remote Space Agent?.In KEPS-10. ICAPS Workshop on Knowledge Engineering for Planning and Scheduling, Toronto, Canada, May, 2010
[bib][abstract]
[43] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E.Flexible Plan Verification: Feasibility Results.In RCRA-09. 16th RCRA International Workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Reggio Emilia, Italy, 11-12 December, 2009
[bib][abstract]
[44] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E.Flexible Timeline-Based Plan Verification.In B. Mertsching, M. Hund, M. Zaheer Aziz (Eds.): KI 2009. Advances in Artificial Intelligence. Lecture Notes in Computer Science 5803. pp. 49-56. Springer, 2009
[bib][abstract]
[45] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E.Verifying Flexible Timeline-Based Plans.In VVPS-09. Workshop on Verification and Validation of Planning and Scheduling Systems at ICAPS, Thessaloniki, Greece, September, 2009
[bib][abstract]
[46] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., and Tronci, E.Merging Planning, Scheduling & Verification - A Preliminary Analysis.In ASTRA-08. Proceedings of the 10th Workshop on Advanced Space Technologies for Robotics and Automation, ESA-ESTEC, November, 2008
[bib][abstract]
[47] Orlandini, A., and Rasconi, R..In Media 2000 n.260, XXVI(8): 54-58, 2008
[bib][abstract]
[48] Cesta, A., Finzi, A., Fratini, S., Orlandini, A., Tronci, E.Validation and Verification Issues in a Timeline-based Planning System.In KEPS-08. ICAPS Workshop on Knowledge Engineering for Planning and Scheduling, Sidney, Australia, 2008
[bib][abstract]