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, 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)
https://doi.org/10.1109/IROS45743.2020.9341440
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)
https://doi.org/10.1613/JAIR.1.11567
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, pp. 235-283 (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)

More publications

Projects

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

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map