default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Cashmore
Person information
- affiliation: University of Strathclyde, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c29]Kyle Mana, Fernando Acero, Stephen Mak, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates. AAAI 2024: 20786-20793- [c28]Manuel R. Torres, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Temporal Fairness in Decision Making Problems. ECAI 2024: 1132-1139 - [i9]Saeid Amiri, Parisa Zehtabi, Danial Dervovic, Michael Cashmore:
Surrogate Assisted Monte Carlo Tree Search in Combinatorial Optimization. CoRR abs/2403.09925 (2024) - [i8]Fernando Acero, Parisa Zehtabi, Nicolas Marchesotti, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Deep Reinforcement Learning and Mean-Variance Strategies for Responsible Portfolio Optimization. CoRR abs/2403.16667 (2024) - [i7]Manuel R. Torres, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Temporal Fairness in Decision Making Problems. CoRR abs/2408.13208 (2024) - 2023
- [c27]Andrew Murray, Ashwin Arulselvan, Michael Cashmore, Marc Roper, Jeremy Frank:
A Column Generation Approach to Correlated Simple Temporal Networks. ICAPS 2023: 295-303 - [c26]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: 6985-6989 - [c25]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: 1-8 - [i6]Stephen Mak, Kyle Mana, Parisa Zehtabi, Michael Cashmore, Daniele Magazzeni, Manuela Veloso:
Towards Accelerating Benders Decomposition via Reinforcement Learning Surrogate Models. CoRR abs/2307.08816 (2023) - 2022
- [j6]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: 1473-1534 (2022) - [c24]Mark McArthur, Yashar Moshfeghi, Michael Cashmore:
EgoPlan: A Framework for Multi-Agent Planning Using Single Agent Planners. FLAIRS 2022 - [c23]Andrew Murray, Benjamin Krarup, Michael Cashmore:
Towards Temporally Uncertain Explainable AI Planning. ICDCIT 2022: 45-59 - [c22]Andrew Murray, Michael Cashmore, Ashwin Arulselvan, Jeremy Frank:
Joint Chance Constrained Probabilistic Simple Temporal Networks via Column Generation (Extended Abstract). SOCS 2022: 305-307 - 2021
- [j5]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: 533-612 (2021) - [c21]Sarah Keren, Gerard Canal, Michael Cashmore:
Task-Aware Waypoint Sampling for Robotic Planning. ICAPS 2021: 643-651 - [c20]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. TIME 2021: 13:1-13:14 - [c19]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: 15:1-15:15 - [i5]Benjamin Krarup, Senka Krivic, Daniele Magazzeni, Derek Long, Michael Cashmore, David E. Smith:
Contrastive Explanations of Plans Through Model Restrictions. CoRR abs/2103.15575 (2021) - 2020
- [j4]Michael Cashmore, Daniele Magazzeni, Parisa Zehtabi:
Planning for Hybrid Systems via Satisfiability Modulo Theories. J. Artif. Intell. Res. 67: 235-283 (2020) - [j3]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: 765-806 (2020) - [c18]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: 9818-9826 - [c17]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: 6733-6740 - [i4]Oscar Lima, Michael Cashmore, Daniele Magazzeni, Andrea Micheli, Rodrigo Ventura:
Robust Plan Execution with Unexpected Observations. CoRR abs/2003.09401 (2020)
2010 – 2019
- 2019
- [c16]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Robustness Envelopes for Temporal Plans. AAAI 2019: 7538-7545 - [c15]Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml:
Replanning for Situated Robots. ICAPS 2019: 665-673 - [c14]Gerard Canal, Michael Cashmore, Senka Krivic, Guillem Alenyà, Daniele Magazzeni, Carme Torras:
Probabilistic Planning for Robotics with ROSPlan. TAROS (1) 2019: 236-250 - [i3]Michael Cashmore, Anna Collins, Benjamin Krarup, Senka Krivic, Daniele Magazzeni, David E. Smith:
Towards Explainable AI Planning as a Service. CoRR abs/1908.05059 (2019) - [i2]Michael Cashmore, Alessandro Cimatti, Daniele Magazzeni, Andrea Micheli, Parisa Zehtabi:
Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans. CoRR abs/1911.07318 (2019) - 2018
- [j2]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni, Bram Ridder:
Opportunistic Planning in Autonomous Underwater Missions. IEEE Trans Autom. Sci. Eng. 15(2): 519-530 (2018) - [c13]Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml:
Situated Planning for Execution Under Temporal Constraints. AAAI Spring Symposia 2018 - [c12]Michael Cashmore, Andrew Coles, Bence Cserna, Erez Karpas, Daniele Magazzeni, Wheeler Ruml:
Temporal Planning while the Clock Ticks. ICAPS 2018: 39-46 - [c11]Dorian Buksz, Michael Cashmore, Benjamin Krarup, Daniele Magazzeni, Bram Ridder:
Strategic-Tactical Planning for Autonomous Underwater Vehicles over Long Horizons. IROS 2018: 3565-3572 - [i1]Rita Borgo, Michael Cashmore, Daniele Magazzeni:
Towards Providing Explanations for AI Planner Decisions. CoRR abs/1810.06338 (2018) - 2017
- [c10]Senka Krivic, Michael Cashmore, Bram Ridder, Daniele Magazzeni, Sándor Szedmák, Justus H. Piater:
Initial State Prediction in Planning. AAAI Workshops 2017 - [c9]Valerio Sanelli, Michael Cashmore, Daniele Magazzeni, Luca Iocchi:
Short-Term Human-Robot Interaction through Conditional Planning and Execution. ICAPS 2017: 540-548 - [c8]Senka Krivic, Michael Cashmore, Daniele Magazzeni, Bram Ridder, Sándor Szedmák, Justus H. Piater:
Decreasing Uncertainty in Planning with State Prediction. IJCAI 2017: 2032-2038 - [c7]Edith Langer, Bram Ridder, Michael Cashmore, Daniele Magazzeni, Michael Zillich, Markus Vincze:
On-the-fly detection of novel objects in indoor environments. ROBIO 2017: 900-907 - 2016
- [j1]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): 1279-1306 (2016) - [c6]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni:
A Compilation of the Full PDDL+ Language into SMT. AAAI Workshop: Planning for Hybrid Systems 2016 - [c5]Michael Cashmore, Maria Fox, Derek Long, Daniele Magazzeni:
A Compilation of the Full PDDL+ Language into SMT. ICAPS 2016: 79-87 - 2015
- [c4]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: 333-341 - 2014
- [c3]Michael Cashmore, Maria Fox, Tom Larkworthy, Derek Long, Daniele Magazzeni:
AUV mission control via temporal planning. ICRA 2014: 6535-6541 - 2013
- [b1]Michael Cashmore:
Planning as quantified Boolean formulae. University of Strathclyde, Glasgow, UK, 2013 - [c2]Michael Cashmore, Maria Fox, Enrico Giunchiglia:
Partially Grounded Planning as Quantified Boolean Formula. ICAPS 2013 - 2012
- [c1]Michael Cashmore, Maria Fox, Enrico Giunchiglia:
Planning as Quantified Boolean Formula. ECAI 2012: 217-222
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 20:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
