Author of the publication

Verification of Markov Decision Processes Using Learning Algorithms.

, , , , , , , and . ATVA, volume 8837 of Lecture Notes in Computer Science, page 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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware., , , and . AVoCS, volume 128 of Electronic Notes in Theoretical Computer Science, page 231-246. Elsevier, (2004)PRISM: A Tool for Automatic Verification of Probabilistic Systems., , , and . TACAS, volume 3920 of Lecture Notes in Computer Science, page 441-444. Springer, (2006)Synchronisation Trees and Fairness: A Case Study., and . Theory and Formal Methods, page 181-198. Imperial College Press, (1994)Probabilistic model checking of complex biological pathways., , , , and . Theor. Comput. Sci., 391 (3): 239-257 (2008)Quantitative Analysis and Model Checking., and . LICS, page 111-122. IEEE Computer Society, (1997)Software Engineering Techniques for the Development of Systems of Systems., and . Monterey Workshop, volume 6028 of Lecture Notes in Computer Science, page 59-82. Springer, (2008)A Biologically Inspired Energy-Aware Routing Algorithm for Communications in Cyberworlds., , and . CW, page 772-777. IEEE Computer Society, (2008)Comparing CTL and PCTL on labeled Markov chains., and . PROCOMET, volume 125 of IFIP Conference Proceedings, page 244-262. Chapman & Hall, (1998)A Systematic Approach to Evaluate Sustained Stochastic Oscillations., , , and . BICoB, page 134-139. ISCA, (2011)Automated Verification and Strategy Synthesis for Probabilistic Systems., and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 5-22. Springer, (2013)