Charles Gretton
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 |
|---|---|---|
| A Verified Compositional Algorithm for AI Planning | 2023-02-03 | Paper |
| Formally verified algorithms for upper-bounding state space diameters Journal of Automated Reasoning | 2018-08-21 | Paper |
| Robot task planning and explanation in open and uncertain worlds Artificial Intelligence | 2017-09-29 | Paper |
| A study of proxies for Shapley allocations of transport costs The Journal of Artificial Intelligence Research (JAIR) | 2016-09-07 | Paper |
| Verified over-approximation of the diameter of propositionally factored transition systems Interactive Theorem Proving | 2015-09-14 | Paper |
| Enumerating AG-groups with a study of Smaradache AG-groups. International Mathematical Forum | 2012-09-04 | Paper |
Research outcomes over time
This page was built for person: Charles Gretton
