Michael Cashmore

From MaRDI portal
Person:3457217

Available identifiers

zbMath Open cashmore.michaelMaRDI QIDQ3457217

List of research outcomes





PublicationDate of PublicationType
Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans2023-10-02Paper
Olisipo: A Probabilistic Approach to the Adaptable Execution of Deterministic Temporal Plans.2023-10-02Paper
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems2022-05-16Paper
Contrastive Explanations of Plans through Model Restrictions2022-02-07Paper
Using machine learning for decreasing state uncertainty in planning2020-12-09Paper
Planning for hybrid systems via satisfiability modulo theories2020-05-14Paper
Planning as quantified Boolean formula2015-12-11Paper

Research outcomes over time

This page was built for person: Michael Cashmore

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:3457217&oldid=11776320"
Powered by MediaWiki