( en | de | ru )

 

Disambiguierung von "Junges, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Efficient Sensitivity Analysis for Parametric Robust Markov Chains.

, , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 62-85. Springer, (2023)

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

Gerda Junges

Ursula Junges

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)Safe Reinforcement Learning via Shielding under Partial Observability., , , und . AAAI, Seite 14748-14756. AAAI Press, (2023)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 . CoRR, (2024)Parameter synthesis in Markov models.. RWTH Aachen University, Germany, (2020)Search and Explore: Symbiotic Policy Synthesis in POMDPs., , , , , und . CAV (3), Volume 13966 von Lecture Notes in Computer Science, Seite 113-135. Springer, (2023)