( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Abstraction-Refinement for Hierarchical Probabilistic Models.

, и . CAV (1), том 13371 из Lecture Notes in Computer Science, стр. 102-123. Springer, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Josef Junges

Walter Junges

Michael Junges

Gerda Junges

Ursula Junges

 

Другие публикации лиц с тем же именем

Advancing Dynamic Fault Tree Analysis - Get Succinct State Spaces Fast and Synthesise Failure Rates., , и . SAFECOMP, том 9922 из Lecture Notes in Computer Science, стр. 253-265. Springer, (2016)CTMCs with Imprecisely Timed Observations., , , , и . TACAS (2), том 14571 из Lecture Notes in Computer Science, стр. 258-278. Springer, (2024)Inductive Synthesis for Probabilistic Programs Reaches New Horizons., , , и . TACAS (1), том 12651 из Lecture Notes in Computer Science, стр. 191-209. Springer, (2021)Relating Apartness and Branching Bisimulation Games., , и . Logics and Type Systems in Theory and Practice, том 14560 из Lecture Notes in Computer Science, стр. 203-213. Springer, (2024)Safe Reinforcement Learning via Shielding under Partial Observability., , , и . AAAI, стр. 14748-14756. AAAI Press, (2023)Finite-State Controllers of POMDPs using Parameter Synthesis., , , , , , и . UAI, стр. 519-529. AUAI Press, (2018)Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext., , , , , , и . MBMV, Universität Tübingen, (2018)Parameter synthesis in Markov models.. RWTH Aachen University, Germany, (2020)SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving., , , , и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 360-368. Springer, (2015)Finding Provably Optimal Markov Chains., , и . TACAS (1), том 12651 из Lecture Notes in Computer Science, стр. 173-190. Springer, (2021)