Search Results for author: Jessica Davies

Found 1 papers, 0 papers with code

A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs

no code implementations26 Nov 2015 Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

POMDPs are standard models for probabilistic planning problems, where an agent interacts with an uncertain environment.

Cannot find the paper you are looking for? You can Submit a new open access paper.