Chmelík, Martin

1. Verification of Markov Decision Processes using Learning Algorithms
   2014/02/10 by Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelík, Martin +5 · 4 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
2. Counterexample Explanation by Learning Small Strategies in Markov\n Decision Processes
   2015/02/10 by Tomǎš Brázdil, Brázdil, Tomáš, Krishnendu Chatterjee +7 · 2 citations
   Computer Science · #Advanced Software Engineering Methodologies #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Software Engineering Research
3. Qualitative Analysis of POMDPs with Temporal Logic Specifications for Robotics Applications
   2014/09/11 by Chatterjee, Krishnendu, Chmelík, Martin, Gupta, Raghav +1 · 2 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Robotics (cs.RO)
4. Optimal Cost Almost-sure Reachability in POMDPs
   2014/11/14 by Chatterjee, Krishnendu, Chmelík, Martin, Gupta, Raghav +1 · 1 citation
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences