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).
  • 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).

    The list of publications will be updated soon