( 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.

Moritz Hahn

Ernst Moritz

Ernst Hahn

Ernst Hahn

Ernst Hahn

 

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

Mungojerrie: Reinforcement Learning of Linear-Time Objectives., , , , , и . CoRR, (2021)The Marriage Between Safety and Cybersecurity: Still Practicing., , , , и . SPIN, том 12864 из Lecture Notes in Computer Science, стр. 3-21. Springer, (2021)Good-for-MDPs Automata., , , , , и . CoRR, (2019)Polynomial-Time Alternating Probabilistic Bisimulation for Interval MDPs., , , , и . SETTA, том 10606 из Lecture Notes in Computer Science, стр. 25-41. Springer, (2017)Limit reachability for model-free reinforcement learning of ω-regular objectives., , , , , и . SNR, стр. 16-18. ACM, (2019)Reinforcement Learning with Guarantees that Hold for Ever., , , , , и . FMICS, том 13487 из Lecture Notes in Computer Science, стр. 3-7. Springer, (2022)sfATM: A Logic for Quantitative Security Properties on Attack Trees., , , и . SEFM, том 14323 из Lecture Notes in Computer Science, стр. 205-225. Springer, (2023)Model Checking Omega-regular Properties for Quantum Markov Chains ., , , и . CONCUR, том 85 из LIPIcs, стр. 35:1-35:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Interval Markov Decision Processes with Multiple Objectives: From Robust Strategies to Pareto Curves., , , , и . ACM Trans. Model. Comput. Simul., 29 (4): 27:1-27:31 (2019)Symblicit exploration and elimination for probabilistic model checking., и . SAC, стр. 1798-1806. ACM, (2021)