The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vojtech Forejt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. Tomás Brázdil, Vojtech Forejt
    Strategy Synthesis for Markov Decision Processes and Branching-Time Logics. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:428-444 [Conf]

  4. Continuous-Time Stochastic Games with Time-Bounded Reachability. [Citation Graph (, )][DBLP]


  5. Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives. [Citation Graph (, )][DBLP]


  6. Reachability in Stochastic Timed Games. [Citation Graph (, )][DBLP]


  7. The Satisfiability Problem for Probabilistic CTL. [Citation Graph (, )][DBLP]


  8. Branching-Time Model-Checking of Probabilistic Pushdown Automata. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002