( en | de | ru )

 

Disambiguierung von "Junges, Sebastian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Finite-State Controllers of POMDPs using Parameter Synthesis.

, , , , , , und . UAI, Seite 519-529. AUAI Press, (2018)

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)Gradient-Descent for Randomized Controllers under Partial Observability., , , , und . CoRR, (2021)Scenario-Based Verification of Uncertain Parametric MDPs., , , , , und . CoRR, (2021)Learning Formal Specifications from Membership and Preference Queries., , , und . CoRR, (2023)Multi-cost Bounded Tradeoff Analysis in MDP., , , und . J. Autom. Reason., 64 (7): 1483-1522 (2020)Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination., , , , , und . Inf. Comput., (2020)Synthese im Kontext Parametrischer Markow-Modelle.. Ausgezeichnete Informatikdissertationen, Volume D-21 von LNI, GI, (2020)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)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , und . UAI, Seite 519-529. AUAI Press, (2018)