Tomas Brazdil

Tomas Brazdil

Masaryk University in Brno - Brno / Czech Republic
Engineering & Technology / Computer Science
AD Scientific Index ID: 1486743
Masaryk University
person_outline Tomas Brazdil's MOST POPULAR ARTICLES
1-) Verification of Markov decision processes using learning algorithmsT Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ...International Symposium on Automated Technology for Verification and …, 20141982014
2-) Reachability games on extended vector addition systems with statesT Brázdil, P Jančar, A KučeraInternational Colloquium on Automata, Languages, and Programming, 478-489, 20101082010
3-) On the decidability of temporal properties of probabilistic pushdown automataT Brázdil, A Kučera, O StražovskýAnnual Symposium on Theoretical Aspects of Computer Science, 145-157, 2005872005
4-) Two views on multiple mean-payoff objectives in Markov decision processesT Br, K Chatterjee, V Forejt, A Kucera2011 IEEE 26th Annual Symposium on Logic in Computer Science, 33-42, 2011902011
5-) One-counter Markov decision processesT Brázdil, V Brožek, K Etessami, A Kučera, D WojtczakProceedings of the twenty-first annual ACM-SIAM symposium on Discrete …, 2010772010