PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Kretínský, Jan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unifying Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes.

, , und . Logical Methods in Computer Science, (2017)

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.

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

Benedikt Janny

Isabel Janowsky University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Deterministic Automata for the (F, G)-Fragment of LTL., und . CAV, Volume 7358 von Lecture Notes in Computer Science, Seite 7-22. Springer, (2012)Dual-Priced Modal Transition Systems with Time Durations., , , , und . LPAR, Volume 7180 von Lecture Notes in Computer Science, Seite 122-137. Springer, (2012)Controller Synthesis for MDPs and Frequency LTL\GU., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 162-177. Springer, (2015)Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm., , , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 623-642. Springer, (2018)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)Modal Transition Systems: Composition and LTL Model Checking., , und . ATVA, Volume 6996 von Lecture Notes in Computer Science, Seite 228-242. Springer, (2011)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)Compositional Verification and Optimization of Interactive Markov Chains., , und . CONCUR, Volume 8052 von Lecture Notes in Computer Science, Seite 364-379. Springer, (2013)Compositionality for Quantitative Specifications., , , und . FACS, Volume 8997 von Lecture Notes in Computer Science, Seite 306-324. Springer, (2014)Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis., , und . ATVA, Volume 11781 von Lecture Notes in Computer Science, Seite 404-422. Springer, (2019)