Publications
- Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones
- Buksz Dorian, Mujumdar Anusha, Orlic Marin, Mohalik Swarup, Daoutis Marios, Ramamurthy Badrinath, Magazzeni Daniele, Cashmore Michael, Feljan Anerta Vulgarakis
- 2020 IEEE/RSJ International Conference on Intelligent Robots and Systems (2020)
- A new approach to plan-space explanation: analyzing plan-property dependencies in oversubscription planning
- Eifler Rebecca, Cashmore Michael, Hoffmann Jörg, Magazzeni Daniele, Steinmetz Marcel
- Proceedings of the AAAI Conference on Artificial Intelligence , pp. 9818-9826 (2020)
- https://doi.org/10.1609/aaai.v34i06.6534
- Robust plan execution with unexpected observations
- Lima Oscar, Cashmore Michael, Magazzeni Daniele, Micheli Andrea, Ventura Rodrigo
- (2020)
- Planning for hybrid systems via Satisfiability Modulo Theories
- Cashmore Michael, Magazzeni Daniele, Zehtabi Parisa
- Journal of Artificial Intelligence Research Vol 67 (2020)
- https://doi.org/10.1613/jair.1.11751
- Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
- Cashmore Michael, Cimatti Alessandro, Magazzeni Daniele, Micheli Andrea, Zehtabi Parisa
- (2019)
- Model-based contrastive explanations for explainable planning
- Krarup Benjamin, Cashmore Michael, Magazzeni Daniele, Miller Tim
- ICAPS 2019 Workshop on Explainable AI Planning (XAIP) 29th International Conference on Automated Planning and Scheduling - ICAPS 2019 (2019)