Michael Cashmore
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
10
Active years
2012–2025
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AISTATS | Model Evaluation in the Dark: Robust Classifier Metrics with Missing Labels. | Danial Dervovic, Michael Cashmore |
| 2025 | ECAI | The Subset Sum Matching Problem. | Yufei Wu, Manuel R. Torres, Parisa Zehtabi, Alberto Pozanco Lancho, Michael Cashmore, Daniel Borrajo, Manuela Veloso |
| 2025 | SoCS | Surrogate-Assisted Monte-Carlo Tree Search in Facility Location and Beyond (Extended Abstract). | Saeid Amiri, Danial Dervovic, Parisa Zehtabi, Michael Cashmore |
| 2025 | SoCS | Hierarchical Seating Allocation (Extended Abstract). | Anton Ipsen, Michael Cashmore, Parisa Zehtabi, Nicolas Marchesotti, Kirsty Fielding, Daniele Magazzeni, Manuela Veloso |
| 2024 | AAAI | Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates. | Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso |
| 2024 | ECAI | Temporal Fairness in Decision Making Problems. | Manuel R. Torres, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso |
| 2023 | IJCAI | 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 |
| 2022 | FlAIRS | EgoPlan: A Framework for Multi-Agent Planning Using Single Agent Planners. | Mark McArthur, Yashar Moshfeghi, Michael Cashmore |
| 2022 | ICDCIT | Towards Temporally Uncertain Explainable AI Planning. | Andrew Murray, Benjamin Krarup, Michael Cashmore |
| 2022 | SoCS | Joint Chance Constrained Probabilistic Simple Temporal Networks via Column Generation (Extended Abstract). | Andrew Murray, Michael Cashmore, Ashwin Arulselvan, Jeremy Frank |
| 2021 | TIME | Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. | Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi |
| 2021 | TIME | Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. | Toms Ribeiro, Oscar Lima, Michael Cashmore, Andrea Micheli, Rodrigo Ventura |
| 2020 | AAAI | A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning. | Rebecca Eifler, Michael Cashmore, Jrg Hoffmann, Daniele Magazzeni, Marcel Steinmetz |
| 2020 | IROS | 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 |
| 2019 | AAAI | Robustness Envelopes for Temporal Plans. | Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi |
| 2018 | IROS | Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons. | Dorian Buksz, Michael Cashmore, Benjamin Krarup, Daniele Magazzeni, Bram Ridder |
| 2017 | AAAI | Initial State Prediction in Planning. | Senka Krivic, Michael Cashmore, Bram Ridder, Daniele Magazzeni, Sndor Szedmk, Justus H. Piater |
| 2017 | IJCAI | Decreasing Uncertainty in Planning with State Prediction. | Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sndor Szedmk, Justus H. Piater |
| 2016 | AAAI | A Compilation of the Full PDDL+ Language into SMT. | Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni |
| 2014 | ICRA | AUV mission control via temporal planning. | Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni |
| 2012 | ECAI | Planning as Quantified Boolean Formula. | Michael Cashmore, Maria Fox, Enrico Giunchiglia |