 | Up a level |
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.
In: FM 2014: Formal Methods - 19th International Symposium, Singapore.
Li, Yong, Turrini, Andrea, Zhang, Lijun and Schewe, Sven ORCID: 0000-0002-9093-9518
(2018)
Learning to Complement Buchi Automata.
In: 19th International Conference on Verification, Model Checking, and Abstract Interpretation, 2017-12-7 - 2017-12-9, Los Angeles, CA, USA.
Fu, Chen, Turrini, Andrea, Huang, Xiaowei ORCID: 0000-0001-6267-0366, Song, Lei, Feng, Yuan and Zhang, Lijun
(2018)
Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.
In: Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}, 2018-7-13 - 2018-7-19, Stockholm, Sweden.
Feng, Weizhi, Li, Yong ORCID: 0000-0002-7301-9234, Turrini, Andrea, Vardi, Moshe Y and Zhang, Lijun
(2023)
On the power of finite ambiguity in Büchi complementation.
Information and Computation, 292.
p. 105032.
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.
In: Computer Aided Verification: 28th International Conference, CAV 2016, 2016-7-17 - 2016-7-23, Toronto, ON, Canada.
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.
In: Verification, Model Checking, and Abstract Interpretation, 2017-1-15 - 2017-1-17, Paris.