( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Querying Labelled Data with Scenario Programs for Sim-to-Real Validation.

, , , , , и . CoRR, (2021)

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)Gradient-Descent for Randomized Controllers under Partial Observability., , , , и . CoRR, (2021)Scenario-Based Verification of Uncertain Parametric MDPs., , , , , и . CoRR, (2021)Learning Formal Specifications from Membership and Preference Queries., , , и . CoRR, (2023)Synthese im Kontext Parametrischer Markow-Modelle.. Ausgezeichnete Informatikdissertationen, том D-21 из LNI, GI, (2020)Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination., , , , , и . Inf. Comput., (2020)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)Experiments for 'Efficient Sensitivity Analysis for Parametric Robust Markov Chains'., , , , и . (апреля 2023)Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'., , , , , и . (июня 2022)