( en | de | ru )

 

Disambiguierung von "Kretínský, Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP.

, , , und . CoRR, (2022)

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)

Matthäus Janczyk

Synthese funktionalisierter Trinukleotide und ihre Anwendung bei der Randomisierung. Uni Greifswald, (2009)

Christoph Janello

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

Weitere Publikationen von Autoren mit dem selben Namen

MoTraS: A Tool for Modal Transition Systems and Their Extensions., und . ATVA, Volume 8172 von Lecture Notes in Computer Science, Seite 487-491. Springer, (2013)Compositionality for Quantitative Specifications., , , und . FACS, Volume 8997 von Lecture Notes in Computer Science, Seite 306-324. Springer, (2014)Survey of Statistical Verification of Linear Unbounded Properties: Model Checking and Distances.. ISoLA (1), Volume 9952 von Lecture Notes in Computer Science, Seite 27-45. (2016)PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP., , , und . CoRR, (2022)Satisfiability Bounds for ω-Regular Properties in Bounded-Parameter Markov Decision Processes., , und . CoRR, (2022)Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , und . CoRR, (2024)Controller Synthesis for MDPs and Frequency LTL\GU., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 162-177. Springer, (2015)Deterministic Automata for the (F, G)-Fragment of LTL., und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 7-22. Springer, (2012)Modal Transition Systems: Composition and LTL Model Checking., , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 228-242. Springer, (2011)Learning Attack Trees by Genetic Algorithms., , und . ICTAC, Volume 14446 von Lecture Notes in Computer Science, Seite 55-73. Springer, (2023)