( en | de | ru )

 

Disambiguierung von "Brozek, Václav"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Approximating the Termination Value of One-Counter MDPs and Stochastic Games.

, , , und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 332-343. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Václav Frolec

Václav Umlauf

Václav Pohl

Václav Kazda

Václav RÌ ehounek

 

Weitere Publikationen von Autoren mit dem selben Namen

Optimal Strategies in Infinite-state Stochastic Reachability Games. GandALF, Volume 54 von EPTCS, Seite 60-73. (2011)Discounted Properties of Probabilistic Pushdown Automata., , , und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 230-242. Springer, (2008)Stochastic Games with Branching-Time Winning Objectives., , , und . LICS, Seite 349-358. IEEE Computer Society, (2006)Reachability in recursive Markov decision processes., , , und . Inf. Comput., 206 (5): 520-537 (2008)Approximating the Termination Value of One-Counter MDPs and Stochastic Games., , , und . ICALP (2), Volume 6756 von Lecture Notes in Computer Science, Seite 332-343. Springer, (2011)Qualitative Reachability in Stochastic BPA Games., , , und . STACS, Volume 3 von LIPIcs, Seite 207-218. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2009)Approximating the termination value of one-counter MDPs and stochastic games., , , und . Inf. Comput., (2013)Qualitative Reachability in Stochastic BPA Games, , , und . CoRR, (2010)Reachability in Recursive Markov Decision Processes., , , und . CONCUR, Volume 4137 von Lecture Notes in Computer Science, Seite 358-374. Springer, (2006)One-Counter Stochastic Games., , und . FSTTCS, Volume 8 von LIPIcs, Seite 108-119. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)