( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reachability in Recursive Markov Decision Processes.

, , , и . CONCUR, том 4137 из Lecture Notes in Computer Science, стр. 358-374. Springer, (2006)

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

Dorothea Vojtech

Gert Vojtech

 

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

Game Characterization of Probabilistic Bisimilarity, and Applications to Pushdown Automata., , , и . Log. Methods Comput. Sci., (2018)Pareto Curves for Probabilistic Model Checking., , и . ATVA, том 7561 из Lecture Notes in Computer Science, стр. 317-332. Springer, (2012)Automated Verification Techniques for Probabilistic Systems., , , и . SFM, том 6659 из Lecture Notes in Computer Science, стр. 53-113. Springer, (2011)Model Checking Probabilistic Systems., , , и . Handbook of Model Checking, Springer, (2018)Stability in Graphs and Games., , , и . CONCUR, том 59 из LIPIcs, стр. 10:1-10:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)MultiGain: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff Objectives., , , и . TACAS, том 9035 из Lecture Notes in Computer Science, стр. 181-187. Springer, (2015)Trading Performance for Stability in Markov Decision Processes., , , и . LICS, стр. 331-340. IEEE Computer Society, (2013)The Satisfiability Problem for Probabilistic CTL., , , и . LICS, стр. 391-402. IEEE Computer Society, (2008)Strategy Synthesis for Markov Decision Processes and Branching-Time Logics., и . CONCUR, том 4703 из Lecture Notes in Computer Science, стр. 428-444. Springer, (2007)Learning Algorithms for Verification of Markov Decision Processes., , , , , , , , и . CoRR, (2024)