( en | de | ru )

 

Disambiguierung von "Kucera, Antonín"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Demuth's Path to Randomness.

, , und . Bull. Symb. Log., 21 (3): 270-305 (2015)

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.

Antonín Skalický

Antonín Hoffmann

Antonín Ku era

Wolfgang Kucera

Antonin Sztraka

 

Weitere Publikationen von Autoren mit dem selben Namen

Continuous-Time Stochastic Games with Time-Bounded Reachability., , , , und . FSTTCS, Volume 4 von LIPIcs, Seite 61-72. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2009)Branching-time model-checking of probabilistic pushdown automata., , , und . J. Comput. Syst. Sci., 80 (1): 139-156 (2014)Approximating the termination value of one-counter MDPs and stochastic games., , , und . Inf. Comput., (2013)On the Controller Synthesis for Finite-State Markov Decision Processes., und . FSTTCS, Volume 3821 von Lecture Notes in Computer Science, Seite 541-552. Springer, (2005)Characteristic Patterns for LTL., und . SOFSEM, Volume 3381 von Lecture Notes in Computer Science, Seite 239-249. Springer, (2005)How to Parallelize Sequential Processes.. CONCUR, Volume 1243 von Lecture Notes in Computer Science, Seite 302-316. Springer, (1997)Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives., , und . ICALP (2), Volume 5126 von Lecture Notes in Computer Science, Seite 148-159. Springer, (2008)Deciding probabilistic bisimilarity over infinite-state probabilistic systems., , und . Acta Inf., 45 (2): 131-154 (2008)Lowness for The Class of Random Sets., und . J. Symb. Log., 64 (4): 1396-1402 (1999)Synthesizing Efficient Solutions for Patrolling Problems in the Internet Environment., , und . CoRR, (2018)