( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification of Markov Decision Processes Using Learning Algorithms.

, , , , , , , и . ATVA, том 8837 из Lecture Notes in Computer Science, стр. 98-114. Springer, (2014)

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.

Izabela Kwiatkowska

Fares Martak

Martarizal

Hans Martan

Thomas Martau

 

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

A Systematic Approach to Evaluate Sustained Stochastic Oscillations., , , и . BICoB, стр. 134-139. ISCA, (2011)Synchronisation Trees and Fairness: A Case Study., и . Theory and Formal Methods, стр. 181-198. Imperial College Press, (1994)A Framework for Verification of Software with Time and Probabilities., , и . FORMATS, том 6246 из Lecture Notes in Computer Science, стр. 25-45. Springer, (2010)Automated Verification and Strategy Synthesis for Probabilistic Systems., и . ATVA, том 8172 из Lecture Notes in Computer Science, стр. 5-22. Springer, (2013)Trade-Offs in True Concurrency: Pomsets and Mazurkiewicz Traces., и . MFPS, том 598 из Lecture Notes in Computer Science, стр. 350-375. Springer, (1991)A Specification Theory of Real-Time Processes., , , и . Concurrency, Security, and Puzzles, том 10160 из Lecture Notes in Computer Science, стр. 18-38. Springer, (2017)Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware., , , и . AVoCS, том 128 из Electronic Notes in Theoretical Computer Science, стр. 231-246. Elsevier, (2004)PRISM: A Tool for Automatic Verification of Probabilistic Systems., , , и . TACAS, том 3920 из Lecture Notes in Computer Science, стр. 441-444. Springer, (2006)Comparing CTL and PCTL on labeled Markov chains., и . PROCOMET, том 125 из IFIP Conference Proceedings, стр. 244-262. Chapman & Hall, (1998)Quantitative Analysis and Model Checking., и . LICS, стр. 111-122. IEEE Computer Society, (1997)