Michael Cashmore
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans (available as arXiv preprint) | 2023-10-02 | Paper |
| Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans. | 2023-10-02 | Paper |
| A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems Journal of Artificial Intelligence Research | 2022-05-16 | Paper |
| Contrastive Explanations of Plans through Model Restrictions Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
| Using machine learning for decreasing state uncertainty in planning Journal of Artificial Intelligence Research | 2020-12-09 | Paper |
| Planning for hybrid systems via satisfiability modulo theories Journal of Artificial Intelligence Research | 2020-05-14 | Paper |
| Planning as quantified Boolean formula | 2015-12-11 | Paper |
Research outcomes over time
This page was built for person: Michael Cashmore
