| 2016 | AAAI | A Symbolic SAT-Based Algorithm for Almost-Sure Reachability with Small Strategies in POMDPs. | Krishnendu Chatterjee, Martin Chmelik, Jessica Davies |
| 2015 | AAAI | Optimal Cost Almost-Sure Reachability in POMDPs. | Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia |
| 2015 | CAV | Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretnsk |
| 2015 | ICRA | Qualitative analysis of POMDPs with temporal logic specifications for robotics applications. | Krishnendu Chatterjee, Martin Chmelik, Raghav Gupta, Ayush Kanodia |
| 2014 | ATVA | Verification of Markov Decision Processes Using Learning Algorithms. | Toms Brzdil, Krishnendu Chatterjee, Martin Chmelik, Vojtech Forejt, Jan Kretnsk, Marta Z. Kwiatkowska, David Parker, Mateusz Ujma |
| 2014 | CAV | CEGAR for Qualitative Analysis of Probabilistic Systems. | Krishnendu Chatterjee, Martin Chmelik, Przemyslaw Daca |
| 2013 | CSL | What is Decidable about Partially Observable Markov Decision Processes with omega-Regular Objectives. | Krishnendu Chatterjee, Martin Chmelik, Mathieu Tracol |
| 2013 | UAI | POMDPs under Probabilistic Semantics. | Krishnendu Chatterjee, Martin Chmelik |
| 2012 | ATVA | Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. | Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar |