( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Correct-by-construction policies for POMDPs.

, , , , , , и . SNR, стр. 6-8. ACM, (2019)

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)Scenario-Based Verification of Uncertain Parametric MDPs., , , , , и . CoRR, (2021)Learning Formal Specifications from Membership and Preference Queries., , , и . CoRR, (2023)Multi-cost Bounded Tradeoff Analysis in MDP., , , и . J. Autom. Reason., 64 (7): 1483-1522 (2020)Synthese im Kontext Parametrischer Markow-Modelle.. Ausgezeichnete Informatikdissertationen, том D-21 из LNI, GI, (2020)Gradient-Descent for Randomized Controllers under Partial Observability., , , , и . CoRR, (2021)Safe Reinforcement Learning via Shielding under Partial Observability., , , и . AAAI, стр. 14748-14756. AAAI Press, (2023)Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination., , , , , и . Inf. Comput., (2020)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)