Compact Policies for Fully-Observable Non-Deterministic Planning as SAT

25 June 2018

Papers citing "Compact Policies for Fully-Observable Non-Deterministic Planning as SAT"

2 / 2 papers shown

Title
Generalized Planning: Non-Deterministic Abstractions and Trajectory Constraints Blai Bonet Giuseppe De Giacomo Hector Geffner S. Rubin 39 41 0 26 Sep 2019
A Symbolic SAT-based Algorithm for Almost-sure Reachability with Small Strategies in POMDPs K. Chatterjee Martin Chmelík Jessica Davies 117 42 0 26 Nov 2015