Tomas Brazdil
Title
Cited by
Cited by
Year
Verification of Markov decision processes using learning algorithms
T Brázdil, K Chatterjee, M Chmelik, V Forejt, J Křetínský, M Kwiatkowska, ...
International Symposium on Automated Technology for Verification and …, 2014
1612014
Reachability games on extended vector addition systems with states
T Brázdil, P Jančar, A Kučera
International Colloquium on Automata, Languages, and Programming, 478-489, 2010
1002010
On the decidability of temporal properties of probabilistic pushdown automata
T Brázdil, A Kučera, O Stražovský
Annual Symposium on Theoretical Aspects of Computer Science, 145-157, 2005
822005
One-counter Markov decision processes
T Brázdil, V Brožek, K Etessami, A Kučera, D Wojtczak
Proceedings of the twenty-first annual ACM-SIAM symposium on Discrete …, 2010
692010
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.
T Brázdil, V Brozek, K Chatterjee, V Forejt, A Kucera
LICS, 33-42, 2011
672011
The satisfiability problem for probabilistic CTL
T Brázdil, V Forejt, J Kretínský, A Kucera
2008 23rd Annual IEEE Symposium on Logic in Computer Science, 391-402, 2008
552008
One-counter stochastic games
T Brázdil, V Brožek, K Etessami
arXiv preprint arXiv:1009.5636, 2010
542010
Stochastic games with branching-time winning objectives
T Brázdil, V Brozek, V Forejt, A Kucera
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06), 349-358, 2006
532006
Qualitative reachability in stochastic BPA games
T Brázdil, V Brožek, A Kučera, J Obdržálek
Information and Computation 209 (8), 1160-1183, 2011
442011
Continuous-time stochastic games with time-bounded reachability
T Brázdil, V Forejt, J Krcal, J Kretinsky, A Kucera
IARCS Annual Conference on Foundations of Software Technology and …, 2009
442009
Efficient controller synthesis for consumption games with multiple resource types
T Brázdil, K Chatterjee, A Kučera, P Novotný
International Conference on Computer Aided Verification, 23-38, 2012
392012
Analysis and prediction of the long-run behavior of probabilistic sequential programs with recursion
T Brázdil, J Esparza, A Kucera
46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 521-530, 2005
392005
Reachability in recursive Markov decision processes
T Brázdil, V Brožek, V Forejt, A Kučera
Information and Computation 206 (5), 520-537, 2008
352008
Trading performance for stability in Markov decision processes
T Brázdil, K Chatterjee, V Forejt, A Kučera
Journal of Computer and System Sciences 84, 144-170, 2017
332017
Analyzing probabilistic pushdown automata
T Brázdil, J Esparza, S Kiefer, A Kučera
Formal Methods in System Design 43 (2), 124-163, 2013
312013
Stochastic game logic
C Baier, T Brazdil, M Grosser, A Kucera
Fourth International Conference on the Quantitative Evaluation of Systems …, 2007
302007
Controller synthesis and verification for Markov decision processes with qualitative branching time objectives
T Brázdil, V Forejt, A Kučera
International Colloquium on Automata, Languages, and Programming, 148-159, 2008
292008
Continuous-time stochastic games with time-bounded reachability
T Brázdil, V Forejt, J Krčál, J Křetínský, A Kučera
Information and Computation 224, 46-70, 2013
252013
Stochastic real-time games with qualitative timed automata objectives
T Brázdil, J Krčál, J Křetínský, A Kučera, V Řehák
International Conference on Concurrency Theory, 207-221, 2010
252010
Approximating the termination value of one-counter MDPs and stochastic games
T Brázdil, V Brožek, K Etessami, A Kučera
International Colloquium on Automata, Languages, and Programming, 332-343, 2011
242011
The system can't perform the operation now. Try again later.
Articles 1–20