%0 Conference Paper %1 conf/aaai/ChatterjeeCD16 %A Chatterjee, Krishnendu %A Chmelik, Martin %A Davies, Jessica %B AAAI %D 2016 %E Schuurmans, Dale %E Wellman, Michael P. %I AAAI Press %K dblp %P 3225-3232 %T A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. %U http://dblp.uni-trier.de/db/conf/aaai/aaai2016.html#ChatterjeeCD16 %@ 978-1-57735-760-5

@inproceedings{conf/aaai/ChatterjeeCD16, added-at = {2024-03-12T00:00:00.000+0100}, author = {Chatterjee, Krishnendu and Chmelik, Martin and Davies, Jessica}, biburl = {https://www.bibsonomy.org/bibtex/2bb5c483145b4e494a00f06c20e4d0267/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/2016}, editor = {Schuurmans, Dale and Wellman, Michael P.}, ee = {https://doi.org/10.1609/aaai.v30i1.10422}, interhash = {5d8abb3df55350a093c2281c0d963bc0}, intrahash = {bb5c483145b4e494a00f06c20e4d0267}, isbn = {978-1-57735-760-5}, keywords = {dblp}, pages = {3225-3232}, publisher = {AAAI Press}, timestamp = {2024-04-09T18:14:38.000+0200}, title = {A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai2016.html#ChatterjeeCD16}, year = 2016 }