( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
JANI: Quantitative Model and Tool Interaction.

, , , , , и . TACAS (2), том 10206 из Lecture Notes in Computer Science, стр. 151-168. (2017)

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)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)Safe Reinforcement Learning via Shielding under Partial Observability., , , и . AAAI, стр. 14748-14756. AAAI Press, (2023)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)CTMCs with Imprecisely Timed Observations., , , , и . TACAS (2), том 14571 из Lecture Notes in Computer Science, стр. 258-278. Springer, (2024)State Matching and Multiple References in Adaptive Active Automata Learning., , и . CoRR, (2024)SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox - (Tool Presentation)., , , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 442-448. Springer, (2012)Safety Analysis for Vehicle Guidance Systems with Dynamic Fault Trees., , , , и . CoRR, (2019)