Dr Michael Cashmore

Strathclyde Chancellor's Fellow

Computer and Information Sciences

Publications

Olisipo : A probabilistic approach to the adaptable execution of deterministic temporal plans
Ribeiro Tomás, Lima Oscar, Cashmore Michael, Micheli Andrea, Ventura Rodrigo
28th International Symposium on Temporal Representation and Reasoning (TIME 2021) (2021)
https://doi.org/10.4230/LIPIcs.TIME.2021.15
Task-aware waypoint sampling for robotic planning
Keren Sarah, Canal Gerard, Cashmore Michael
Proceedings of the International Conference on Automated Planning and Scheduling Thirty-First International Conference on Automated Planning and Scheduling, pp. 643-651 (2021)
An action interface manager for ROSPlan
Bezrucav Stefan-Octavian, Canal Gerard, Cashmore Michael, Corves Burkhard
The International Conference on Automated Planning and Scheduling 2021 (2021)
Designing an adaptable benchmark and competition simulation for integrated planning and execution
Nemiro Liudvikas, Canal Gerard, Lima Oscar, Cashmore Michael, Roberts Mark
The International Conference on Automated Planning and Scheduling 2021 (2021)
Contrastive explanations of plans through model restrictions
Krarup Benjamin, Krivic Senka, Magazzeni Daniele, Long Derek, Cashmore Michael, Smith David
Journal of Artificial Intelligence Research (2021)
Efficient anytime computation and execution of decoupled robustness envelopes for temporal plans
Cashmore Michael, Cimatti Alessandro, Magazzeni Daniele, Micheli Andrea, Zehtabi Parisa
TIME 2021 - International Symposium on Temporal Representation and Reasoning (2021)

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
Maths DTP 2020 University of Strathclyde | Murray, Andrew
Cashmore, Michael (Principal Investigator) Arulselvan, Ashwin (Co-investigator) Weir, George (Co-investigator) Murray, Andrew (Research Co-investigator)
01-Jan-2020 - 01-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