Latest News


New Workshops in Explainable AI

Workshop on Explainable AI at IJCAI-19 (Read more)
Workshop on Explainable Planning at ICAPS-19 (Read more)

New CDT in Safe and Trusted AI !

Apply for a PhD in the new Centre for Doctoral Training in Safe and Trusted AI ! (Read more)

New positions available!

There are opportunities for PostDocs and PhD students.

New AFOSR grant!

New project funded by AFOSR on Explaining the Space of Plans (Read more)

New version of ROSPlan

A new version of ROSPlan has been realed, together with new tutorials (Read more)

New InnovateUK grant!

New project funded by InnovateUK on Intelligent Situational Awareness Platform (Read more)

Please note, the below pre-prints are provided for personal use only.

2019

  • Robustness Envelopes for Temporal Plans.
    M. Cashmore, A. Cimatti, D. Magazzeni, A. Micheli, P. Zehtabi. Proceedings of AAAI Conference on Artificial Intelligence (AAAI 2019).
  • Replanning for Situated Robots.
    M. Cashmore, A. Coles, B. Cserna, E. Karpas, D. Magazzeni, W. Ruml. Proceedings of International Conference on Automated Planning and Scheduling (ICAPS 2019).
  • Temporal Planning as Refinement-Based Model Checking.
    A. Heinz, M. Wehrle, S. Bogomolov, D. Magazzeni, M. Greitschus, A. Podelski. Proceedings of International Conference on Automated Planning and Scheduling (ICAPS 2019).
  • Using Machine Learning for Decreasing State Uncertainty in Planning.
    Senka Krivic, Michael Cashmore, Daniele Magazzeni, Sandor Szdemak, Justus Piater. Submitted to Journal of Artificial Intelligence Research (JAIR).
  • Planning for Hybrid Systems via Satisfiability Modulo Theory.
    Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi. Submitted to Journal of Artificial Intelligence Research (JAIR).

    • 2018

    • Integrating Temporal Reasoning and Sampling-Based Motion Planning for Multi-Goal Problems with Dynamics and Time Windows. [See PDF]
      S. Edelkamp, M. Lahijanian, D. Magazzeni, E. Plaku. IEEE Robotics and Automation Letters, vol. 3, pp. 3473--3480.
    • Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons. [See PDF]
      D. Buksz, M. Cashmore, B. Krarup, D. Magazzeni, B. Ridder. Proceedings of EEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2018).
    • Explainable Security.
      L. Vigano, D. Magazzeni. Proceedings of IJCAI-18 Workshop on Explainable AI.
    • Towards Providing Justifications for Planner Decisions.
      R. Borgo, M. Cashmore, D. Magazzeni. Proceedings of IJCAI-18 Workshop on Explainable AI.
    • Temporal Planning While the Clock Ticks.
      M. Cashmore, A. Coles, B. Cserna, E. Karpas, D. Magazzeni, W. Ruml. Proceedings of International Conference on Automated Planning and Scheduling (ICAPS-18).
    • Explaining Rebel Behavior in Goal Reasoning Agents.
      D. Dannenhauer, M. Floyd, D. Magazzeni, D. Aha. Proceedings of ICAPS-18 Workshop on Explainable Planning.

    2017

    • Explainable Planning.
      M. Fox, D. Long, D. Magazzeni. Proceedings of IJCAI-17 Workshop on Explainable AI. [PDF] [SLIDES]
    • Landmarks for Numeric Planning Problems.
      E. Scala, P. Haslum, D. Magazzeni, S. Thiebaux. Proceedings of International Joint Conference on Artificial Intelligence (IJCAI-17). [PDF]
    • Decreasing Uncertainty in Planning with State Prediction. S. Krivic, M. Cashmore, D. Magazzeni, B. Ridder, S. Szedmak, J. Piater. Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17). [PDF]
    • Short-Term Human Robot Interaction through Conditional Planning and Execution.
      V. Sanelli, M. Cashmore, L. Iocchi, D. Magazzeni. Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS-17).

    2016

  • Planning using Actions with Control Parameters.
    E. Savas, M. Fox, D. Long, D. Magazzeni. Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16).
  • Heuristic Planning for PDDL+ Domains.
    W. Piotrowski, M. Fox, D. Long, D. Magazzeni. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16..
  • A Compilation of the Full PDDL+ Language into SMT.
    M. Cashmore, M. Fox, D. Long, D. Magazzeni. Proceedings of 26th International Conference on Automated Planning and Scheduling (ICAPS-16).
    An earlier version of this paper was presented at AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-16)    .
  • Solving Realistic Unit Commitment Problems using Temporal Planning: Challenges and Solutions.
    C. Piacentini, M. Fox, D. Long, D. Magazzeni. Proceedings of 26th International Conference on Automated Planning and Scheduling (ICAPS-16).
  • Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach.
    M. Vallati, D. Magazzeni, B. De Schutter, L. Chrpa, T. Leo Mccluskey. Proceedings of Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16.

2015

  • Automated Planning and Model Checking (Dagstuhl Seminar 14482).
    A. Cimatti, S. Edelkamp, M. Fox, D. Magazzeni, E. Plaku.
    Dagstuhl Reports. Volume 4, Issue 11, pp 227-245. Dagstuhl, Germany.

  • ROSPlan: Planning in the Robot Operating System.
    M. Cashmore, M. Fox, D. Long, D. Magazzeni, B. Ridder, A. Carrera, N. Palomeras, N. Hurtos, M. Carreras.
    Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS-15). [ PDF ]

  • PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.
    S. Bogomolov, D. Magazzeni, S. Minopoli, M. Wehrle.
    Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS-15). [ PDF ]

  • UPMurphi Released: PDDL+ Planning for Hybrid Systems.
    G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio.
    Proceedings of the 2nd ICAPS Workshop on Model Checking and Automated Planning (MOCHAP-15). [ PDF ]

  • Dynamically Extending Planning Models using an Ontology.
    M. Cashmore, M. Fox, D. Long, D. Magazzeni, B. Ridder, F. Maurelli.
    Proceedings of the 2nd ICAPS Workshop on Planning and Robotics (PlanRob-15).

  • Artificial Intelligence Planning for AUV Mission Control.
    M. Cashmore, M. Fox, D. Long, D. Magazzeni, B. Ridder.
    Proceedings of IFAC Workshop on Navigation, Guidance and Control of Underwater Vehicles (NGCUV-2015).

  • Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains
    G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio.
    International Journal on Artificial Intelligence Tools.

2014

  • Planning as Model Checking in Hybrid Domains.
    S. Bogomolov, D. Magazzeni, A. Podelski, M. Wehrle.
    Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI-14). [ PDF ]

  • Temporal Planning for Business Process Optimisation.
    D. Magazzeni, F. Mercorio, B. Barn, T. Clark, F. Raimondi, V. Kulkarni.
    Proceedings of the ICAPS-2014 Workshop on Scheduling and Planning Applications (SPARK 2014). [ PDF ]

  • AUV Mission Control via Temporal Planning.
    M. Cashmore, M. Fox, T. Larkworthy, D. Long, D. Magazzeni.
    Proceedings of IEEE International Conference on Robotics and Automation (ICRA 2014). [ PDF ]

  • Automated Planning and Scheduling.
    G. Cortellessa, A. Gerevini, D. Magazzeni, I. Serina.
    Intelligenza Artificiale, 8(1), 2014. [ PDF ]

  • On AUV actions to correctly label world information.
    F. Maurelli, Z. Saigol, D. Lane, M. Cashmore, B. Ridder, D. Magazzeni.
    Proceedings of IEEE-MTS Oceans'14, St. John's, Canada. [ PDF ]

  • Policy Learning for Autonomous Feature Tracking.
    D. Magazzeni, F. Py, M. Fox, D. Long, K. Rajan.
    Autonomus Robots Journal, 37 (1): 47-69. 2014. [ PDF ]

2013

  • Planning Inspection Tasks for AUVs.
    M. Cashmore, M. Fox, T. Larkworthy, D. Long, D. Magazzeni.
    Proceedings of OCEANS'13 MTS/IEEE. [ PDF ]

  • Challenge: Modelling Unit Commitment as a Planning Problem
    J. Campion, C. Dent, M. Fox, D. Long, D. Magazzeni.
    Proceedings of the 23rd International Conference on Automated Planning and Scheduling (ICAPS-13). [ PDF ]

  • A General Theory of Spatial Relations to Support a Graphical Tool for Visual Information Extraction.
    G. Della Penna, D. Magazzeni, S. Orefice.
    Journal of Visual Languages and Computing (JVLC) 24 (2): 71-87. 2013. [ PDF ]

2012

  • Plan-based Policies for Efficient Multiple Battery Load Management.
    M. Fox, D. Long, D. Magazzeni.
    Journal of Artificial Intelligence Research (JAIR) 44: 335-382. June 2012. [ PDF ]

  • Plan-based Policy Learning for Autonomous Feature Tracking.
    M. Fox, D. Long, D. Magazzeni.
    Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS-12). [ PDF ]

  • CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems.
    G. Della Penna, B. Intrigila, D. Magazzeni, I. Melatti, E. Tronci.
    European Journal of Control (EJC) 19(1): 14-36, 2013.

  • SyBeL: A System Modelling Language Enhancing Automatic Support in the Software Development Process.
    G. Cardinale Ciccotti, G. Della Penna, R. Del Sordo, B. Intrigila, D. Magazzeni, S. Orefice.
    International Journal of Software Engineering and Knowledge Engineering (IJSEKE) 23(2): 223-246, 2013.

2011

  • Automatic Construction of Efficient Multiple Battery Usage Policies. [ PDF ]
    M. Fox, D. Long, D. Magazzeni.
    Proceedings of the 21st International Conference on Automated Planning and Scheduling (ICAPS-11). June 2011.
    (ICAPS-2011 Best Paper Award)

  • A Universal Planning System for Hybrid Domains.
    G. Della Penna, D. Magazzeni, F. Mercorio.
    Applied Intelligence. 36 (4): 932-959. June 2012.

  • Automatic Construction of Efficient Multiple Battery Usage Policies. [ PDF ]
    M. Fox, D. Long, D. Magazzeni.
    Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI-11). June 2011.
    (Track of Best Papers from Sister Conferences)

  • A Spatial Relation based Framework to Perform Visual Information Extraction.
    G. Della Penna, D. Magazzeni, S. Orefice.
    Knowledge and Information Systems 30 (3): 667-692. February 2012.

  • Cost-Optimal Strong Planning in Non-Deterministic Domains.
    G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio, E. Tronci.
    Proceedings of 8th International Conference on Informatics in Control, Automation and Robotics (ICINCO-11). May 2011.

  • Supporting Visual Information Extraction from Geospatial Data.
    G. Della Penna, D. Magazzeni, S. Orefice.
    Proceedings of International Conference on Distributed Multimedia Systems (DMS-11). April 2011.

2010

  • A Framework for the Automatic Synthesis of Hybrid Fuzzy/Numerical Controllers.
    D. Magazzeni.
    Applied Soft Computing. 11 (1). January 2011.

  • A PDDL+ Benchmark Problem: The Batch Chemical Plant.
    G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio.
    Proceedings of the 20th International Conference on Automated Planning and Scheduling (ICAPS-10). May 2010.

  • Resource-Optimal Planning for an Autonomous Planetary Vehicle.
    G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio.
    International Journal on Artificial Intelligence and Applications. 1 (3). July 2010.

  • Automatic Verification of Hybrid System Controllers with the CMurphi Verifier.
    G. Della Penna, D. Magazzeni, B. Intrigila, I. Melatti, E. Tronci, M. Venturini Zilli , E. Ciancamerla, M. Minichino, A. Tofani.
    Journal of Discrete Event Control Systems. 2 (1). June 2010.

  • Visual Extraction of Information from Web Pages.
    G. Della Penna, D. Magazzeni, S. Orefice.
    Journal of Visual Languages and Computing. 21 (1). February 2010.

  • Planning for Autonomous Planetary Vehicles.
    G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio.
    Proceedings of 6th IEEE International Conference on Autonomic and Autonomous Systems (ICAS-10). April 2010.

2009

  • UPMurphi: a Tool for Universal Planning on PDDL+ Problems.
    G. Della Penna, B. Intrigila, D. Magazzeni, F. Mercorio.
    Proceedings of the 19th International Conference on Automated Planning and Scheduling (ICAS-09). September 2009.

  • Evaluating Fuzzy Controller Robustness using Model Checking.
    G. Della Penna, B. Intrigila, D. Magazzeni.
    Proceedings of 8th International Workshop on Fuzzy Logic and Applications (WILF-09). July 2009.

  • A Graphical Tool to Support Visual Information Extraction.
    G. Della Penna, D. Magazzeni, S. Orefice.
    Proceedings of International Workshop on Visual Languages and Computing (VLC-09). September 2009.

  • Fast and Compact Encoding of Numerical Controllers using OBDDs.
    G. Della Penna, B. Intrigila, N. Lauri, D. Magazzeni.
    Informatics in Control, Automation and Robotics: Selected Papers from ICINCO 2008 - Springer (Book Chapter). March 2009.

2008

  • Automatic Generation of Hybrid Fuzzy/Numerical Controllers.
    D. Magazzeni
    Proceedings of the IEEE International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA-08). December 2008.

  • Robustness and Interoperability Problems in Security Devices.
    M. Talamo, F. Arcieri, G. Della Penna, A. Dimitri, B. Intrigila, D. Magazzeni.
    Proceedings of the 4th International Conferences on Information Security and Cryptology (Inscrypt-08). December 2008.

  • Verifying Extended Criteria for the Interoperability of Security Devices.
    M. Talamo, F. Arcieri, G. Della Penna, A. Dimitri, B. Intrigila, D. Magazzeni.
    Proceedings of the 3rd International Symposium on Information Security (IS-08). December 2008.

  • OBDD Compression of Numerical Controllers.
    G. Della Penna, B. Intrigila, N. Lauri, D. Magazzeni.
    Proceedings of 5th International Conference on Informatics in Control, Automation and Robotics (ICINCO-08). May 2008.

2007

  • Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques.
    G. Della Penna, B. Intrigila, D. Magazzeni.
    Proceedings of the International Conference on Industrial Electronics, Technology & Automation (IETA-07). December 2007.

  • A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers.
    G. Della Penna, F. Fallucchi, B. Intrigila, D. Magazzeni.
    Proceedings of the 10th Congress of the Italian Association for Artificial Intelligence (AI*IA-07). June 2007.

  • Automated Generation Of Optimal Controllers Through Model Checking Techniques.
    G. Della Penna, B. Intrigila, D. Magazzeni, I. Melatti, A. Tofani, E. Tronci.
    Informatics in Control, Automation and Robotics: Selected Papers from ICINCO 2006 - Springer (Book Chapter). February 2008.

  • Automatic Synthesis of Robust Numerical Controllers.
    G. Della Penna, B. Intrigila, D. Magazzeni, I. Melatti, A. Tofani, E. Tronci.
    Proceedings of the 3rd IEEE International Conference on Autonomic and Autonomous Systems (ICAS-07). November 2007.