Dr Michael Cashmore

Strathclyde Chancellor's Fellow

Computer and Information Sciences

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)

More publications

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map