Dr Michael Cashmore

Strathclyde Chancellor's Fellow

Computer and Information Sciences


Intent-driven strategic tactical planning for autonomous site inspection using cooperative drones
Buksz Dorian, Mujumdar Anusha, Orlić Marin, Mohalik Swarup, Daoutis Marios, Badrinath Ramamurthy, Magazzeni Daniele, Cashmore Michael, Feljan Anerta Vulgarakis
2020 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2020 IEEE International Conference on Intelligent Robots and Systems, pp. 6733-6740 (2021)
Using machine learning for decreasing state uncertainty in planning
Krivic Senka, Cashmore Michael, Magazzeni Daniele, Szedmak Sandor, Piater Justus
Journal of Artificial Intelligence Research Vol 69, pp. 765-806 (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)
Robust plan execution with unexpected observations
Lima Oscar, Cashmore Michael, Magazzeni Daniele, Micheli Andrea, Ventura Rodrigo
Planning for hybrid systems via Satisfiability Modulo Theories
Cashmore Michael, Magazzeni Daniele, Zehtabi Parisa
Journal of Artificial Intelligence Research Vol 67, pp. 235-283 (2020)
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans
Cashmore Michael, Cimatti Alessandro, Magazzeni Daniele, Micheli Andrea, Zehtabi Parisa

More publications


Urban and rural UAS-enabled health-care over Scotland CAELUS (ex URANOS)
Fossati, Marco (Principal Investigator) Akartunali, Kerem (Co-investigator) Burt, Graeme (Co-investigator) Cashmore, Michael (Co-investigator) Patelli, Edoardo (Co-investigator) Tapinos, Efstathios (Co-investigator) Vasile, Massimiliano (Co-investigator)
01-Jan-2020 - 31-Jan-2022
Robust and Explainable Mission Planning and Scheduling (REMPS)
Riccardi, Annalisa (Principal Investigator) Cashmore, Michael (Co-investigator)
01-Jan-2020 - 30-Jan-2024
Doctoral Training Grant | Cashmore, Michael
Cashmore, Michael (Research Co-investigator)
01-Jan-2009 - 13-Jan-2013

More projects


Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map