Charles Gretton

From MaRDI portal
Person:1663244

Available identifiers

zbMath Open gretton.charlesMaRDI QIDQ1663244

List of research outcomes





PublicationDate of PublicationType
A Verified Compositional Algorithm for AI Planning2023-02-03Paper
Formally verified algorithms for upper-bounding state space diameters2018-08-21Paper
Robot task planning and explanation in open and uncertain worlds2017-09-29Paper
A study of proxies for Shapley allocations of transport costs2016-09-07Paper
Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems2015-09-14Paper
Enumerating AG-groups with a study of Smaradache AG-groups.2012-09-04Paper

Research outcomes over time

This page was built for person: Charles Gretton

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