( en | de | ru )

 

Disambiguierung von "Junges, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Robust Finite-State Controllers for Uncertain POMDPs.

, , , , , und . AAAI, Seite 11792-11800. AAAI Press, (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

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)Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees., , , , und . CoRR, (2019)SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation)., , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 442-448. Springer, (2012)