Publications

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

2017

  • [C45]   Explainable Planning.
    Maria Fox, Derek Long, Daniele Magazzeni.
    Proceedings of IJCAI-17 Workshop on Explainable Artificial Intelligence [PDF] [SLIDES]

  • [C44]   Landmarks for Numeric Planning Problems.
    Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiebaux.
    Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17) [PDF]
  • [C43]   Decreasing Uncertainty in Planning with State Prediction.
    Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sandor Szedmak, Justus Piater.
    Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI-17) [PDF]
  • [C42]   Short-Term Human Robot Interaction through Conditional Planning and Execution.
    Valerio Sanelli, Michael Cashmore, Luca Iocchi and Daniele Magazzeni.
    Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS-17) [PDF]

  • [J20]   CASP Solutions for Planning in Hybrid Domains.
    Marcello Balduccini, Daniele Magazzeni, Marco Maratea, Emily LeBlanc.
    Theory and Practice of Logic Programming. 2017 (In press).
  • [J19]   Validation and Verification of Smart Contracts: a Research Agenda.
    Daniele Magazzeni, Peter McBurney, William Nash.
    IEEE Computer Journal, Special Issue on Blockchain Technology for Finance. September 2017 (In press).
  • [J18]   Opportunistic Planning in Autonomous Underwater Missions.
    M. Cashmore, M. Fox, D. Long, D. Magazzeni, B. Ridder
    IEEE Transactions on Automation Science and Engineering. [PDF.]
  • [J17]   A Formal Framework to Represent Spatial Knowledge.
    G. Della Penna, D. Magazzeni, S. Orefice.
    Knowledge and Information Systems. [PDF.]
  • [J16]   Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations.
    L. Chrpa, D. Magazzeni, K. McCabe, T.L. McCluskey, M. Vallati
    Intelligenza Artificiale. (To appear)
  • [J15]   Model Checking and Automated Planning - A Neverending Liason.
    Alessandro Cimatti, Stefan Edelkamp and Daniele Magazzeni.
    Submitted to Journal of Artificial Intelligence Research (JAIR). (under revision)

2016

  • [J14]   Toward Persistent Autonomous Intervention in a Subsea Panel.
    N. Palomeras, A. Carrera, N. Hurtós, G. Karras, C. Bechlioulis, M. Cashmore, D. Magazzeni, D. Long, M. Fox, K. Kyriakopoulos, P. Kormushev, J. Salvi, M. Carreras.
    Autonomus Robots. (to appear) [PDF]
  • [C41]   Planning using Actions with Control Parameters.
    Emre Savas, Maria Fox, Derek Long, Daniele Magazzeni.
    Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI-16). [PDF]
  • [C40]   A Compilation of the Full PDDL+ Language into SMT.
    Michael Cashmore, Maria Fox, Derek Long and Daniele Magazzeni.
    Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS-16). [PDF]
    An earlier version of this paper was presented at AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-16).
  • [C39]   Heuristic Planning for PDDL+ Domains.
    Wiktor Piotrowski, Maria Fox, Derek Long, Daniele Magazzeni and Fabio Mercorio.
    Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16). [PDF]
    An earlier version of this paper was presented at AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-16).
  • [C38]   Solving Realistic Unit Commitment Problems using Temporal Planning: Challenges and Solutions.
    Chiara Piacentini, Daniele Magazzeni, Derek Long, Maria Fox, Chris Dent.
    Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS-16).
  • [C37]   A CASP-Based Approach to PDDL+ Planning.
    Marcello Balduccini, Daniele Magazzeni and Marco Maratea
    ICAPS Workshop on Constraints Satisfaction Techniques for Planning and Scheduling (COPLAS-16).
  • [C36]   Strategic Plannning for Autonomous Systems over Long Horizons.
    Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni and Bram Ridder
    ICAPS Workshop on Planning and Robotics (PlanRob-16). [ PDF ]
  • [C35]   Opportunistic Planning for Increased Plan Utility
    Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni and Bram Ridder
    ICAPS Workshop on Planning and Robotics (PlanRob-16). [ PDF ]
  • [C34]   Efficient Macroscopic Urban Traffic Models for Reducing Congestion: A PDDL+ Planning Approach.
    Mauro Vallati, Daniele Magazzeni, Bart De Schutter, Lukas Chrpa and Thomas Leo Mccluskey
    Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16). [ PDF ]
    An earlier version of this paper was presented at AAAI-16 Workshop on Planning for Hybrid Systems (PlanHS-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.
  • [C33]   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 ]
  • [C32]   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 ]
  • [C31]   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 ]
  • [C30]   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).
  • [C29]   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).
  • [C28]   Automated Planning for Urban Traffic Control: Strategic Vehicle Routing to Respect Air Quality Limitations
    L. Chrpa, D. Magazzeni, K. McCabe, L. Mccluskey, M. Vallati.
    Proceedings of IPS 2015.
  • [J13]   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

  • [C27]   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 ]
  • [C26]   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 ]
  • [C25]   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 ]
  • [J12]   Automated Planning and Scheduling.
    G. Cortellessa, A. Gerevini, D. Magazzeni, I. Serina.
    Intelligenza Artificiale, 8(1), 2014. [ PDF ]
  • [C24]   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 ]
  • [J11]   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

  • [C23]   Planning Inspection Tasks for AUVs.
    M. Cashmore, M. Fox, T. Larkworthy, D. Long, D. Magazzeni.
    Proceedings of OCEANS'13 MTS/IEEE. [ PDF ]
  • [C22]   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 ]
  • [J10]   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

  • [J9]   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 ]
  • [C21]   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 ]
  • [J8]   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.
  • [J7]   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

  • [C20]   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)

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

  • [C19]   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)

  • [J5]   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.

  • [C18]   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.

  • [C17]   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

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

  • [C16]   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.

  • [J3]   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.

  • [J2]   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.

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

  • [C15]   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

  • [C14]   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.

  • [C13]   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.

  • [C12]   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.

  • [C11]   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

  • [C10]   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.

  • [C9]   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.

  • [C8]   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.

  • [C7]   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

  • [C6]   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.

  • [C5]   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.

  • [C4]   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.

  • [C3]   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.

2006

  • [C2]   Automatic Generation Of Optimal Controllers Through Model Checking Techniques.
    G. Della Penna, B. Intrigila, D. Magazzeni, I. Melatti, A. Tofani, E. Tronci.
    Proceedings of the 3rd International Conference on Informatics in Control, Automation and Robotics (ICINCO-06). July 2006.

  • [C1]   A Model Checking Technique for the Verification of Fuzzy Control Systems.
    B. Intrigila, D. Magazzeni, I. Melatti, A. Tofani, E. Tronci.
    Proceedings of the IEEE International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA-05). December 2005.

PhD Thesis

  • Explicit Model Checking Techniques applied to Control and Planning Problems. D. Magazzeni.
    PhD thesis, University of L'Aquila, Italy. 2009.