A
Menu
March 05, 2016 conference-paper Open access

A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs

Proceedings of the AAAI Conference on Artificial Intelligence

DOI: 10.1609/aaai.v30i1.10422 Full text (OA) OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 4 stored of 29

4 results

References 0