( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Automated Verification Techniques for Probabilistic Systems.

, , , и . SFM, том 6659 из Lecture Notes in Computer Science, стр. 53-113. Springer, (2011)

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.

Vojtech Buzek

Ursula Vojtech

Johann Vojtech

Vojtech Plzak

Dorothea Vojtech

 

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

Pareto Curves for Probabilistic Model Checking., , и . ATVA, том 7561 из Lecture Notes in Computer Science, стр. 317-332. Springer, (2012)Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata., , , и . Log. Methods Comput. Sci., (2018)Automated Verification Techniques for Probabilistic Systems., , , и . SFM, том 6659 из Lecture Notes in Computer Science, стр. 53-113. Springer, (2011)Controller Synthesis for MDPs and Frequency LTL\GU., , и . LPAR, том 9450 из Lecture Notes in Computer Science, стр. 162-177. Springer, (2015)Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , и . CoRR, (2024)Reachability in recursive Markov decision processes., , , и . Inf. Comput., 206 (5): 520-537 (2008)Strategy Synthesis for Markov Decision Processes and Branching-Time Logics., и . CONCUR, том 4703 из Lecture Notes in Computer Science, стр. 428-444. Springer, (2007)Bisimilarity of Probabilistic Pushdown Automata., , , и . FSTTCS, том 18 из LIPIcs, стр. 448-460. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives., , , и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 181-187. Springer, (2015)Stability in Graphs and Games., , , и . CONCUR, том 59 из LIPIcs, стр. 10:1-10:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)