Brázdil, Tomáš

1. Verification of Markov Decision Processes using Learning Algorithms
   2014/02/10 by Brázdil, Tomáš, Chatterjee, Krishnendu, Chmelík, Martin +5 · 5 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, Krishnendu Chatterjee, Brázdil, Tomáš +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. Strategy Representation by Decision Trees in Reactive Synthesis
   2018/02/02 by Brázdil, Tomáš, Chatterjee, Krishnendu, Křetínský, Jan +1 · 1 citation
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
4. Qualitative Controller Synthesis for Consumption Markov Decision Processes
   2020/05/14 by Blahoudek, František, Brázdil, Tomáš, Novotný, Petr +3 · 1 citation
   #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Logic in Computer Science (cs.LO)