The following pages link to Charles Gretton (Q1663244):
Displaying 5 items.
- Formally verified algorithms for upper-bounding state space diameters (Q1663245) (← links)
- Robot task planning and explanation in open and uncertain worlds (Q2407428) (← links)
- A Study of Proxies for Shapley Allocations of Transport Costs (Q2818236) (← links)
- Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems (Q2945619) (← links)
- A Verified Compositional Algorithm for AI Planning (Q5875407) (← links)
