dblp.uni-trier.dewww.uni-trier.de

Tomás Brázdil

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
17EETomás Brázdil, Václav Brozek, Antonín Kucera, Jan Obdrzálek: Qualitative Reachability in Stochastic BPA Games. STACS 2009: 207-218
16EETomás Brázdil, Václav Brozek, Kousha Etessami, Antonín Kucera, Dominik Wojtczak: One-Counter Markov Decision Processes CoRR abs/0904.2511: (2009)
2008
15EETomás Brázdil, Vojtech Forejt, Antonín Kucera: Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. ICALP (2) 2008: 148-159
14EETomás Brázdil, Vojtech Forejt, Jan Kretínský, Antonín Kucera: The Satisfiability Problem for Probabilistic CTL. LICS 2008: 391-402
13EETomás Brázdil, Václav Brozek, Jan Holecek, Antonín Kucera: Discounted Properties of Probabilistic Pushdown Automata. LPAR 2008: 230-242
12EETomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding probabilistic bisimilarity over infinite-state probabilistic systems. Acta Inf. 45(2): 131-154 (2008)
11EETomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Reachability in recursive Markov decision processes. Inf. Comput. 206(5): 520-537 (2008)
2007
10EETomás Brázdil, Vojtech Forejt: Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. CONCUR 2007: 428-444
9EEChristel Baier, Tomás Brázdil, Marcus Größer, Antonín Kucera: Stochastic Game Logic. QEST 2007: 227-236
2006
8EETomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Reachability in Recursive Markov Decision Processes. CONCUR 2006: 358-374
7EETomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera: Stochastic Games with Branching-Time Winning Objectives. LICS 2006: 349-358
6 Tomás Brázdil, Ivana Cerná: Model Checking of RegCTL. Computers and Artificial Intelligence 25(1): (2006)
2005
5EETomás Brázdil, Javier Esparza, Antonín Kucera: Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion (Extended Abstract). FOCS 2005: 521-530
4EETomás Brázdil, Antonín Kucera: Computing the Expected Accumulated Reward and Gain for a Subclass of Infinite Markov Chains. FSTTCS 2005: 372-383
3EETomás Brázdil, Antonín Kucera, Oldrich Strazovský: On the Decidability of Temporal Properties of Probabilistic Pushdown Automata. STACS 2005: 145-157
2004
2EETomás Brázdil, Antonín Kucera, Oldrich Strazovský: Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. CONCUR 2004: 193-208
2002
1EETomás Brázdil, Ivana Cerná: Local Distributed Model Checking of RegCTL. Electr. Notes Theor. Comput. Sci. 68(4): (2002)

Coauthor Index

1Christel Baier [9]
2Václav Brozek [7] [8] [11] [13] [16] [17]
3Ivana Cerná (Ivana Cerna) [1] [6]
4Javier Esparza [5]
5Kousha Etessami [16]
6Vojtech Forejt [7] [8] [10] [11] [14] [15]
7Marcus Größer [9]
8Jan Holecek [13]
9Jan Kretínský [14]
10Antonín Kucera [2] [3] [4] [5] [7] [8] [9] [11] [12] [13] [14] [15] [16] [17]
11Jan Obdrzálek [17]
12Oldrich Strazovský [2] [3] [12]
13Dominik Wojtczak [16]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)