Chmelik, Martin

3 publications

AAAI 2016 A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs Krishnendu Chatterjee, Martin Chmelik, Jessica Davies

AAAI 2015 Optimal Cost Almost-Sure Reachability in POMDPs Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia

UAI 2013 POMDPs Under Probabilistic Semantics Krishnendu Chatterjee, Martin Chmelik