Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
Number of items: 4.


Schewe, S ORCID: 0000-0002-9093-9518, Gainer, Paul and Hahn, Ernst Moritz
(2018) Accelerated Model Checking of Parametric Markov Chains. In: International Symposium on Automated Technology for Verification and Analysis, 2018-10-07 - 2018-10-10, Los Angeles.


Hahn, Ernst Moritz, Li, Yi, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun
(2014) ISCASMC: A Web-Based Probabilistic Model Checker. .


Hahn, Ernst Moritz, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun
(2016) A Simple Algorithm for Solving Qualitative Probabilistic Parity Games. .


Hahn, Ernst Moritz, Schewe, Sven ORCID: 0000-0002-9093-9518, Turrini, Andrea and Zhang, Lijun
(2017) Synthesising Strategy Improvement and Recursive Algorithms for Solving 2.5 Player Parity Games. .

This list was generated on Sat Nov 2 05:04:48 2019 GMT.