Browsing by Author e355299c-5088-477f-b05f-5bcc1213fdc9
Showing results 1 to 14 of 14
A more expressive behavioral logic for decision-theoretic planning
Author(s) | Gretton, Charles |
---|---|
Type | Journal article |
Date Published | 2014 |
Date Created | - |
Beyond satisfaction: Optimising the visual attractiveness of routes
Author(s) | Gretton, Charles |
---|---|
Type | Conference poster |
Date Published | 2017 |
Date Created | 7/12/2017 |
Computing Upper Bounds on Lengths of Transition Sequences
Author(s) | Rintanen, Jussi; Gretton, Charles |
---|---|
Type | Conference paper |
Date Published | 2013 |
Date Created | August 3-9 2013 |
Decision-theoretic planning with non-Markovian rewards
Author(s) | Thiebaux, Sylvie M; Gretton, Charles; Slaney, John K, et al |
---|---|
Type | Journal article |
Date Published | 2006 |
Date Created | - |
Exploiting first-order regression in inductive policy selection
Author(s) | Gretton, Charles; Thiebaux, Sylvie |
---|---|
Type | Conference paper |
Date Published | 2004 |
Date Created | July 7 2004 |
Exploiting Symmetries by Planning for a Descriptive Quotient
Author(s) | Mansour (Abdulaziz), Mohammad; Norrish, Michael; Gretton, Charles |
---|---|
Type | Conference paper |
Date Published | 2015 |
Date Created | July 25-31, 2015 |
Formally Verified Algorithms for Upper-Bounding State Space Diameters
Author(s) | Abdulaziz, Mohammad; Norrish, Michael; Gretton, Charles |
---|---|
Type | Journal article |
Date Published | 2018 |
Date Created | - |
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards
Author(s) | Gretton, Charles; Price, David; Thiebaux, Sylvie |
---|---|
Type | Conference paper |
Date Published | 2003 |
Date Created | August 7 2003 |
NMRDPP: A System for Decision-theoretic Planning with Non-Markovian Rewards
Author(s) | Gretton, Charles; Price, David; Thiebaux, Sylvie |
---|---|
Type | Conference paper |
Date Published | 2003 |
Date Created | June 9 2003 |
Partial Weighted MaxSAT for Optimal Planning
Author(s) | Robinson, Nathan; Gretton, Charles; Pham, Duc Nghia, et al |
---|---|
Type | Conference paper |
Date Published | 2010 |
Date Created | August 30-September 2 |
Robot task planning and explanation in open and uncertain worlds
Author(s) | Hanheide, Marc; Gobelbecker, Moritz; Horn, Graham S, et al |
---|---|
Type | Journal article |
Date Published | 2017 |
Date Created | - |
A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems
Author(s) | Grzybowska, Hanna; Kerferd, Briscoe; Gretton, Charles, et al |
---|---|
Type | Journal article |
Date Published | 2020 |
Date Created | - |
A state-space acyclicity property for exponentially tighter plan length bounds
Author(s) | Mansour (Abdulaziz), Mohammad; Gretton, Charles; Norrish, Michael |
---|---|
Type | Conference paper |
Date Published | 5-Jul-2017 |
Date Created | June 18–23, 2017 |
Verified over-approximation of the diameter of propositionally factored transition systems
Author(s) | Mansour (Abdulaziz), Mohammad; Gretton, Charles; Norrish, Michael |
---|---|
Type | Conference paper |
Date Published | 2015 |
Date Created | 24 August 2015 through 27 August 2015 |
- previous
- 1
- next
Updated: 12 April 2016/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator