Michael Cashmore

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 39

Top Venues

CoRR

ICAPS

J. Artif. Intell. Res.

AAAI

University of Strathclyde, Glasgow, UK (PHD)

Education History

University of Strathclyde, Glasgow, UK

PHD

Publications

Fernando Acero, Parisa Zehtabi, Nicolas Marchesotti, Michael Cashmore, Daniele Magazzeni, Manuela Veloso
Deep Reinforcement Learning and Mean-Variance Strategies for Responsible Portfolio Optimization. CoRR (2024)
Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso
Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates. AAAI (2024)
Saeid Amiri, Parisa Zehtabi, Danial Dervovic, Michael Cashmore
Surrogate Assisted Monte Carlo Tree Search in Combinatorial Optimization. CoRR (2024)
Andrew Murray, Ashwin Arulselvan, Marc Roper, Michael Cashmore, Swarup Kumar Mohalik, Ian Burdick, Sushanth David
The Cost of Quality of Service: SLA Aware VNF Placement and Routing Using Column Generation. RNDM (2023)
Stylianos Loukas Vasileiou, William Yeoh, Son Tran, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni
A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract). IJCAI (2023)
Andrew Murray, Ashwin Arulselvan, Michael Cashmore, Marc Roper, Jeremy Frank
A Column Generation Approach to Correlated Simple Temporal Networks. ICAPS (2023)
Stephen Mak, Kyle Mana, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso
Towards Accelerating Benders Decomposition via Reinforcement Learning Surrogate Models. CoRR (2023)
Andrew Murray, Benjamin Krarup, Michael Cashmore
Towards Temporally Uncertain Explainable AI Planning. ICDCIT (2022)
Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems. J. Artif. Intell. Res. 73 (2022)
Andrew Murray, Michael Cashmore, Ashwin Arulselvan, Jeremy Frank
Joint Chance Constrained Probabilistic Simple Temporal Networks via Column Generation (Extended Abstract). SOCS (2022)
Mark McArthur, Yashar Moshfeghi, Michael Cashmore
EgoPlan: A Framework for Multi-Agent Planning Using Single Agent Planners. FLAIRS (2022)
Sarah Keren, Gerard Canal, Michael Cashmore
Task-Aware Waypoint Sampling for Robotic Planning. ICAPS (2021)
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. TIME (2021)
Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith
Contrastive Explanations of Plans Through Model Restrictions. CoRR (2021)
Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith
Contrastive Explanations of Plans through Model Restrictions. J. Artif. Intell. Res. 72 (2021)
Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. TIME (2021)
Dorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan
Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones. IROS (2020)
Oscar Lima, Michael Cashmore, Daniele Magazzeni, Andrea Micheli, Rodrigo Ventura
Robust Plan Execution with Unexpected Observations. CoRR (2020)
Senka Krivic, Michael Cashmore, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater
Using Machine Learning for Decreasing State Uncertainty in Planning. J. Artif. Intell. Res. 69 (2020)
Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi
Planning for Hybrid Systems via Satisfiability Modulo Theories. J. Artif. Intell. Res. 67 (2020)
Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz
A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. AAAI (2020)
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
Robustness Envelopes for Temporal Plans. AAAI (2019)
Gerard Canal, Michael Cashmore, Senka Krivic, Guillem Alenyà, Daniele Magazzeni, Carme Torras
Probabilistic Planning for Robotics with ROSPlan. TAROS (1) (2019)
Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml
Replanning for Situated Robots. ICAPS (2019)
Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. CoRR (2019)
Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David E. Smith
Towards Explainable AI Planning as a Service. CoRR (2019)
Rita Borgo, Michael Cashmore, Daniele Magazzeni
Towards Providing Explanations for AI Planner Decisions. CoRR (2018)
Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml
Temporal Planning while the Clock Ticks. ICAPS (2018)
Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml
Situated Planning for Execution Under Temporal Constraints. AAAI Spring Symposia (2018)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder
Opportunistic Planning in Autonomous Underwater Missions. IEEE Trans Autom. Sci. Eng. 15 (2) (2018)
Dorian Buksz, Michael Cashmore, Benjamin Krarup, Daniele Magazzeni, Bram Ridder
Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons. IROS (2018)
Edith Langer, Bram Ridder, Michael Cashmore, Daniele Magazzeni, Michael Zillich, Markus Vincze
On-the-fly detection of novel objects in indoor environments. ROBIO (2017)
Valerio Sanelli, Michael Cashmore, Daniele Magazzeni, Luca Iocchi
Short-Term Human-Robot Interaction through Conditional Planning and Execution. ICAPS (2017)
Senka Krivic, Michael Cashmore, Bram Ridder, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater
Initial State Prediction in Planning. AAAI Workshops (2017)
Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sándor Szedmák, Justus H. Piater
Decreasing Uncertainty in Planning with State Prediction. IJCAI (2017)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
A Compilation of the Full PDDL+ Language into SMT. ICAPS (2016)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni
A Compilation of the Full PDDL+ Language into SMT. AAAI Workshop: Planning for Hybrid Systems (2016)
Narcís Palomeras, Arnau Carrera, Natàlia Hurtós, George C. Karras, Charalampos P. Bechlioulis, Michael Cashmore, Daniele Magazzeni, Derek Long, Maria Fox, Kostas J. Kyriakopoulos, Petar Kormushev, Joaquim Salvi, Marc Carreras
Toward persistent autonomous intervention in a subsea panel. Auton. Robots 40 (7) (2016)
Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcís Palomeras, Natàlia Hurtós, Marc Carreras
ROSPlan: Planning in the Robot Operating System. ICAPS (2015)
Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni
AUV mission control via temporal planning. ICRA (2014)
Michael Cashmore, Maria Fox, Enrico Giunchiglia
Partially Grounded Planning as Quantified Boolean Formula. ICAPS (2013)
Michael Cashmore, Maria Fox, Enrico Giunchiglia
Planning as Quantified Boolean Formula. ECAI (2012)

Michael Cashmore.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Cashmore