Michael Cashmore

According to our database, Michael Cashmore authored at least 41 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Deep Reinforcement Learning and Mean-Variance Strategies for Responsible Portfolio Optimization.

Fernando Acero, Parisa Zehtabi, Nicolas Marchesotti, Michael Cashmore, Daniele Magazzeni, Manuela Veloso

CoRR, 2024

Surrogate Assisted Monte Carlo Tree Search in Combinatorial Optimization.

Saeid Amiri, Parisa Zehtabi, Danial Dervovic, Michael Cashmore

CoRR, 2024

Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates.

Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Towards Accelerating Benders Decomposition via Reinforcement Learning Surrogate Models.

Stephen Mak, Kyle Mana, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso

CoRR, 2023

The Cost of Quality of Service: SLA Aware VNF Placement and Routing Using Column Generation.

Andrew Murray, Ashwin Arulselvan, Marc Roper, Michael Cashmore, Swarup Kumar Mohalik, Ian Burdick, Sushanth David

Proceedings of the 13th International Workshop on Resilient Networks Design and Modeling, 2023

A Logic-based Explanation Generation Framework for Classical and Hybrid Planning Problems (Extended Abstract).

Stylianos Loukas Vasileiou, William Yeoh, Son Tran, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

A Column Generation Approach to Correlated Simple Temporal Networks.

Andrew Murray, Ashwin Arulselvan, Michael Cashmore, Marc Roper, Jeremy Frank

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

2022

A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems.

Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni

J. Artif. Intell. Res., 2022

Joint Chance Constrained Probabilistic Simple Temporal Networks via Column Generation (Extended Abstract).

Andrew Murray, Michael Cashmore, Ashwin Arulselvan, Jeremy Frank

Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Towards Temporally Uncertain Explainable AI Planning.

Andrew Murray, Benjamin Krarup, Michael Cashmore

Proceedings of the Distributed Computing and Intelligent Technology, 2022

EgoPlan: A Framework for Multi-Agent Planning Using Single Agent Planners.

Mark McArthur, Yashar Moshfeghi, Michael Cashmore

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

2021

Contrastive Explanations of Plans through Model Restrictions.

Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith

J. Artif. Intell. Res., 2021

Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.

Tomás Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.

Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Task-Aware Waypoint Sampling for Robotic Planning.

Sarah Keren, Gerard Canal, Michael Cashmore

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2020

Using Machine Learning for Decreasing State Uncertainty in Planning.

Senka Krivic, Michael Cashmore, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater

J. Artif. Intell. Res., 2020

Planning for Hybrid Systems via Satisfiability Modulo Theories.

Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi

J. Artif. Intell. Res., 2020

Robust Plan Execution with Unexpected Observations.

Oscar Lima, Michael Cashmore, Daniele Magazzeni, Andrea Micheli, Rodrigo Ventura

CoRR, 2020

Intent-driven Strategic Tactical Planning for Autonomous Site Inspection using Cooperative Drones.

Dorian Buksz, Anusha Mujumdar, Marin Orlic, Swarup Mohalik, Marios Daoutis, Ramamurthy Badrinath, Daniele Magazzeni, Michael Cashmore, Aneta Vulgarakis Feljan

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020

A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning.

Rebecca Eifler, Michael Cashmore, Jörg Hoffmann, Daniele Magazzeni, Marcel Steinmetz

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.

Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi

CoRR, 2019

Towards Explainable AI Planning as a Service.

Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David E. Smith

CoRR, 2019

Probabilistic Planning for Robotics with ROSPlan.

Gerard Canal, Michael Cashmore, Senka Krivic, Guillem Alenyà, Daniele Magazzeni, Carme Torras

Proceedings of the Towards Autonomous Robotic Systems - 20th Annual Conference, 2019

Replanning for Situated Robots.

Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Robustness Envelopes for Temporal Plans.

Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Opportunistic Planning in Autonomous Underwater Missions.

Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder

IEEE Trans Autom. Sci. Eng., 2018

Towards Providing Explanations for AI Planner Decisions.

Rita Borgo, Michael Cashmore, Daniele Magazzeni

CoRR, 2018

Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons.

Dorian Buksz, Michael Cashmore, Benjamin Krarup, Daniele Magazzeni, Bram Ridder

Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

Temporal Planning while the Clock Ticks.

Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Situated Planning for Execution Under Temporal Constraints.

Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml

Proceedings of the 2018 AAAI Spring Symposia, 2018

2017

On-the-fly detection of novel objects in indoor environments.

Edith Langer, Bram Ridder, Michael Cashmore, Daniele Magazzeni, Michael Zillich, Markus Vincze

Proceedings of the 2017 IEEE International Conference on Robotics and Biomimetics, 2017

Decreasing Uncertainty in Planning with State Prediction.

Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sándor Szedmák, Justus H. Piater

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Short-Term Human-Robot Interaction through Conditional Planning and Execution.

Valerio Sanelli, Michael Cashmore, Daniele Magazzeni, Luca Iocchi

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

Initial State Prediction in Planning.

Senka Krivic, Michael Cashmore, Bram Ridder, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Toward persistent autonomous intervention in a subsea panel.

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

Auton. Robots, 2016

A Compilation of the Full PDDL+ Language into SMT.

Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni

Proceedings of the Planning for Hybrid Systems, 2016

2015

ROSPlan: Planning in the Robot Operating System.

Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder, Arnau Carrera, Narcís Palomeras, Natàlia Hurtós, Marc Carreras

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

2014

AUV mission control via temporal planning.

Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

2013

Planning as quantified Boolean formulae.

Michael Cashmore

PhD thesis, 2013

Partially Grounded Planning as Quantified Boolean Formula.

Michael Cashmore, Maria Fox, Enrico Giunchiglia

Proceedings of the Twenty-Third International Conference on Automated Planning and Scheduling, 2013

2012

Planning as Quantified Boolean Formula.

Michael Cashmore, Maria Fox, Enrico Giunchiglia

Proceedings of the ECAI 2012, 2012