Cashmore, Michael

11 publications

AISTATS 2025 Model Evaluation in the Dark: Robust Classifier Metrics with Missing Labels Danial Dervovic, Michael Cashmore

AAAI 2024 Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso

IJCAI 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

ICMLW 2023 Towards Accelerating Benders Decomposition via Reinforcement Learning Surrogate Models Stephen Mak, Kyle Mana, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso

JAIR 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

JAIR 2021 Contrastive Explanations of Plans Through Model Restrictions Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith

AAAI 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

JAIR 2020 Planning for Hybrid Systems via Satisfiability Modulo Theories Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi

JAIR 2020 Using Machine Learning for Decreasing State Uncertainty in Planning Senka Krivic, Michael Cashmore, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater

AAAI 2019 Robustness Envelopes for Temporal Plans Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi

IJCAI 2017 Decreasing Uncertainty in Planning with State Prediction Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sándor Szedmák, Justus H. Piater