| 2024 | ICAART | The Role of Stop-Loss Orders in Market Efficiency and Stability: An Agent-Based Study. | Patrick Liston, Charles Gretton, Artem Lensky |
| 2024 | ICAPS | A Counter-Example Based Approach to Probabilistic Conformant Planning. | Xiaodi Zhang, Alban Grastien, Charles Gretton |
| 2023 | AAAI | Dagster: Parallel Structured Search. | Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu |
| 2023 | KR | Property Directed Reachability for Planning Revisited. | Ava Clifton, Charles Gretton |
| 2022 | PRICAI | Dagster: Parallel Structured Search with Case Studies. | Mark Alexander Burgess, Charles Gretton, Josh Milthorpe, Luke Croak, Thomas Willingham, Alwen Tiu |
| 2022 | UAI | Enhanced adaptive optics control with image to image translation. | Jeffrey Smith, Jesse Cranney, Charles Gretton, Damien Gratadour |
| 2019 | ITP | A Verified Compositional Algorithm for AI Planning. | Mohammad Abdulaziz, Charles Gretton, Michael Norrish |
| 2015 | AAAI | A Study of Proxies for Shapley Allocations of Transport Costs. | Haris Aziz, Casey Cahan, Charles Gretton, Philip Kilby, Nicholas Scott Mattei, Toby Walsh |
| 2015 | IJCAI | Exploiting Symmetries by Planning for a Descriptive Quotient. | Mohammad Abdulaziz, Michael Norrish, Charles Gretton |
| 2015 | ITP | Verified Over-Approximation of the Diameter of Propositionally Factored Transition Systems. | Mohammad Abdulaziz, Charles Gretton, Michael Norrish |
| 2014 | PRICAI | A More Expressive Behavioral Logic for Decision-Theoretic Planning. | Charles Gretton |
| 2011 | AAAI | A Switching Planner for Combined Task and Observation Planning. | Moritz Gbelbecker, Charles Gretton, Richard Dearden |
| 2011 | IJCAI | Exploiting Probabilistic Knowledge under Uncertain Sensing for Efficient Robot Behaviour. | Marc Hanheide, Charles Gretton, Richard Dearden, Nick Hawes, Jeremy L. Wyatt, Andrzej Pronobis, Alper Aydemir, Moritz Gbelbecker, Hendrik Zender |
| 2010 | PRICAI | Partial Weighted MaxSAT for Optimal Planning. | Nathan Robinson, Charles Gretton, Duc Nghia Pham, Abdul Sattar |
| 2008 | IROS | Induction of topological environment maps from sequences of visited places. | Felix Werner, Charles Gretton, Frdric Maire, Joaquin Sitte |
| 2007 | KI | A Stochastic Local Search Approach to Vertex Cover. | Silvia Richter, Malte Helmert, Charles Gretton |
| 2004 | UAI | Exploiting First-Order Regression in Inductive Policy Selection. | Charles Gretton, Sylvie Thibaux |
| 2004 | SSDBM | Ants caught in the Semantic Web: A study in the application of description logic to animal systematics. | Kerry L. Taylor, Charles Gretton |
| 2003 | UAI | Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. | Charles Gretton, David Price, Sylvie Thibaux |