|
Search the dblp DataBase
Václav Brozek:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
Reachability in Recursive Markov Decision Processes. [Citation Graph (0, 0)][DBLP] CONCUR, 2006, pp:358-374 [Conf]
- Tomás Brázdil, Václav Brozek, Vojtech Forejt, Antonín Kucera
Stochastic Games with Branching-Time Winning Objectives. [Citation Graph (0, 0)][DBLP] LICS, 2006, pp:349-358 [Conf]
Discounted Properties of Probabilistic Pushdown Automata. [Citation Graph (, )][DBLP]
One-Counter Markov Decision Processes. [Citation Graph (, )][DBLP]
Qualitative Reachability in Stochastic BPA Games. [Citation Graph (, )][DBLP]
One-Counter Markov Decision Processes [Citation Graph (, )][DBLP]
Qualitative Reachability in Stochastic BPA Games [Citation Graph (, )][DBLP]
Branching-Time Model-Checking of Probabilistic Pushdown Automata. [Citation Graph (, )][DBLP]
Regularity in PDA Games Revisited. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|