( en | de | ru )

 

Disambiguierung von "Kiefer, Stefan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
How to Play in Infinite MDPs (Invited Talk).

, , , , und . ICALP, Volume 168 von LIPIcs, Seite 3:1-3:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

Stefan Kiefer

Stefan Kiefer

Stefan Kiefer

Marcus Kiefer

Michael Kiefer

 

Weitere Publikationen von Autoren mit dem selben Namen

Stabilization of Branching Queueing Networks., und . STACS, Volume 14 von LIPIcs, Seite 507-518. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Notes on Equivalence and Minimization of Weighted Automata.. CoRR, (2020)Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata., , , und . CoRR, (2017)On the total variation distance of labelled Markov chains., und . CSL-LICS, Seite 33:1-33:10. ACM, (2014)p-BioSPRE: Datenschutzgerechte Ausgestaltung einer Suchmaschine für Biomaterial und Daten/ Integrating data protection in metabiobanks: approach of the p-BioSPRE platform, , , , , , , , , und 2 andere Autor(en). (2014)Analysis of Probabilistic Basic Parallel Processes., , und . FoSSaCS, Volume 8412 von Lecture Notes in Computer Science, Seite 43-57. Springer, (2014)Efficient Analysis of Unambiguous Automata Using Matrix Semigroup Techniques., und . MFCS, Volume 138 von LIPIcs, Seite 82:1-82:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Markov chains and unambiguous automata., , , , und . J. Comput. Syst. Sci., (2023)Transience in Countable MDPs., , , und . CoRR, (2020)On Complementing Unambiguous Automata and Graphs With Many Cliques and Cocliques., und . CoRR, (2021)