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

researchr

You are not signed in
Sign in
Sign up

Krishnendu Chatterjee, Martin Chmelik, Jessica Davies. A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 3225-3232, AAAI Press, 2016. [doi]

This author has not been identified. Look up 'Krishnendu Chatterjee' in GoogleThis author has not been identified. Look up 'Martin Chmelik' in GoogleThis author has not been identified. Look up 'Jessica Davies' in Google

runs on WebDSL