( en | de | ru )

 

Disambiguierung von "Junges, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The complexity of reachability in parametric Markov decision processes.

, , , und . J. Comput. Syst. Sci., (2021)

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.

Josef Junges

Walter Junges

Michael Junges

Ursula Junges

Gerda Junges

 

Weitere Publikationen von Autoren mit dem selben Namen

Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , und . UAI, Seite 519-529. AUAI Press, (2018)Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext., , , , , , und . MBMV, Universität Tübingen, (2018)Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates., , und . SAFECOMP, Volume 9922 von Lecture Notes in Computer Science, Seite 253-265. Springer, (2016)Inductive Synthesis for Probabilistic Programs Reaches New Horizons., , , und . TACAS (1), Volume 12651 von Lecture Notes in Computer Science, Seite 191-209. Springer, (2021)CTMCs with Imprecisely Timed Observations., , , , und . TACAS (2), Volume 14571 von Lecture Notes in Computer Science, Seite 258-278. Springer, (2024)Relating Apartness and Branching Bisimulation Games., , und . Logics and Type Systems in Theory and Practice, Volume 14560 von Lecture Notes in Computer Science, Seite 203-213. Springer, (2024)State Matching and Multiple References in Adaptive Active Automata Learning., , und . FM (1), Volume 14933 von Lecture Notes in Computer Science, Seite 267-284. Springer, (2024)Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination., , , , , und . Inf. Comput., (2020)Safe Reinforcement Learning via Shielding under Partial Observability., , , und . AAAI, Seite 14748-14756. AAAI Press, (2023)Search and Explore: Symbiotic Policy Synthesis in POMDPs., , , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 113-135. Springer, (2023)