Michael Cashmore

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