Tomáš Brázdil

1. Verification of Markov Decision Processes using Learning Algorithms
   2014/02/10 by Tomǎš Brázdil, Tomáš Brázdil, Krishnendu Chatterjee +14 · 9 citations
   Computer Science · #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Machine Learning and Algorithms #cs.LO
2. Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
   2015/02/10 by Tomǎš Brázdil, Tomáš Brázdil, Krishnendu Chatterjee +8 · 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 #cs.LO
3. MultiGain: A controller synthesis tool for MDPs with multiple mean-payoff objectives
   2015/01/13 by Tomáš Brázdil, Krishnendu Chatterjee, Brázdil, Tomáš +5 · 1 citation
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #cs.AI #cs.LO