( en | de | ru )

 

Disambiguierung von "Kretínský, Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Learning Algorithms for Verification of Markov Decision Processes.

, , , , , , , , und . CoRR, (2024)

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.

Jan Kretinsky

Tsai-Yu Jansen

Einfluss der Konversion laparoskopischer Operationen auf Tumorwachstum, hepatische Metastasierung und Tumorangiogenese. Uni Heidelberg, (2010)

Dirk Jansen

Temperaturkorrektur von mit dem Falling-Weight-Deflectometer gemessenen Deflexionen auf Asphaltbefestigungen. Uni Duisburg-Essen, (2009)

Christoph Janello

Wertschöpfung im digitalisierten Buchmarkt. Uni München, (2010)

Richard Janissen

Biomolecular based nano-manipulation with a combined atomic force microscope and single molecule fluorescence setup. Uni Düsseldorf, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Anytime Guarantees for Reachability in Uncountable Markov Decision Processes., , , und . CONCUR, Volume 243 von LIPIcs, Seite 11:1-11:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Learning Explainable and Better Performing Representations of POMDP Strategies., , , , und . TACAS (2), Volume 14571 von Lecture Notes in Computer Science, Seite 299-319. Springer, (2024)Semi-quantitative Abstraction and Analysis of Chemical Reaction Networks., und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 475-496. Springer, (2019)Modal Process Rewrite Systems., und . ICTAC, Volume 7521 von Lecture Notes in Computer Science, Seite 120-135. Springer, (2012)Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes., , , und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 322-335. Springer, (2018)Owl: A Library for ω-Words, Automata, and LTL., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 543-550. Springer, (2018)Faster Statistical Model Checking for Unbounded Temporal Properties., , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 112-129. Springer, (2016)Guessing Winning Policies in LTL Synthesis by Semantic Learning., , , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 390-414. Springer, (2023)On Refinements of Boolean and Parametric Modal Transition Systems., und . ICTAC, Volume 8049 von Lecture Notes in Computer Science, Seite 213-230. Springer, (2013)Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes., , und . LICS, Seite 244-256. IEEE Computer Society, (2015)