( en | de | ru )

 

Disambiguierung von "Kucera, Antonín"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lowness for The Class of Random Sets.

, und . J. Symb. Log., 64 (4): 1396-1402 (1999)

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 Eigel

 

Weitere Publikationen von Autoren mit dem selben Namen

Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems., , und . CONCUR, Volume 3170 von Lecture Notes in Computer Science, Seite 193-208. Springer, (2004)Efficient Analysis of Probabilistic Programs with an Unbounded Counter., , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 208-224. Springer, (2011)Analyzing probabilistic pushdown automata., , , und . Formal Methods in System Design, 43 (2): 124-163 (2013)A Logical Viewpoint on Process-algebraic Quotients., und . J. Log. Comput., 13 (6): 863-880 (2003)Preface., und . Theor. Comput. Sci., (2012)The satisfiability problem for a quantitative fragment of PCTL., und . J. Comput. Syst. Sci., (Februar 2024)Runtime analysis of probabilistic programs with unbounded recursion., , , und . J. Comput. Syst. Sci., 81 (1): 288-310 (2015)Stochastic Games with Branching-Time Winning Objectives., , , und . LICS, Seite 349-358. IEEE Computer Society, (2006)Regstar: efficient strategy synthesis for adversarial patrolling games., , , und . UAI, Volume 161 von Proceedings of Machine Learning Research, Seite 471-481. AUAI Press, (2021)Optimizing Local Satisfaction of Long-Run Average Objectives in Markov Decision Processes., , , , und . AAAI, Seite 20143-20150. AAAI Press, (2024)