Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun Synthesising strategy improvement and recursive algorithms for solving 2.5 player parity games. (English) Zbl 1484.68141 Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10145, 266-287 (2017). MSC: 68Q85 91A43 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 10145, 266--287 (2017; Zbl 1484.68141) Full Text: DOI arXiv
Hahn, Ernst Moritz; Schewe, Sven; Turrini, Andrea; Zhang, Lijun A simple algorithm for solving qualitative probabilistic parity games. (English) Zbl 1411.68068 Chaudhuri, Swarat (ed.) et al., Computer aided verification. 28th international conference, CAV 2016, Toronto, ON, Canada, July 17–23, 2016. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 9780, 291-311 (2016). MSC: 68Q60 68W40 91A43 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Lect. Notes Comput. Sci. 9780, 291--311 (2016; Zbl 1411.68068) Full Text: DOI
Li, Yong; Liu, Wanwei; Turrini, Andrea; Hahn, Ernst Moritz; Zhang, Lijun An efficient synthesis algorithm for parametric Markov chains against linear time properties. (English) Zbl 1393.68107 Fränzle, Martin (ed.) et al., Dependable software engineering: theories, tools, and applications. Second international symposium, SETTA 2016, Beijing, China, November 9–11, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-47676-6/pbk; 978-3-319-47677-3/ebook). Lecture Notes in Computer Science 9984, 280-296 (2016). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 9984, 280--296 (2016; Zbl 1393.68107) Full Text: DOI arXiv
Hahn, Ernst Moritz; Li, Guangyuan; Schewe, Sven; Turrini, Andrea; Zhang, Lijun Lazy probabilistic model checking without determinisation. (English) Zbl 1374.68290 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 354-367 (2015). MSC: 68Q60 68Q45 68Q87 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., LIPIcs -- Leibniz Int. Proc. Inform. 42, 354--367 (2015; Zbl 1374.68290) Full Text: DOI arXiv
Gao, Yang; Hahn, Ernst Moritz; Zhan, Naijun; Zhang, Lijun CCMC: a conditional CSL model checker for continuous-time Markov chains. (English) Zbl 1410.68227 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 464-468 (2013). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{Y. Gao} et al., Lect. Notes Comput. Sci. 8172, 464--468 (2013; Zbl 1410.68227) Full Text: DOI
Zhang, Lijun; She, Zhikun; Ratschan, Stefan; Hermanns, Holger; Hahn, Ernst Moritz Safety verification for probabilistic hybrid systems. (English) Zbl 1291.93294 Eur. J. Control 18, No. 6, 572-587 (2012). MSC: 93E03 93C30 PDFBibTeX XMLCite \textit{L. Zhang} et al., Eur. J. Control 18, No. 6, 572--587 (2012; Zbl 1291.93294) Full Text: DOI
Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun Measurability and safety verification for stochastic hybrid systems. (English) Zbl 1362.68170 Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 43-52 (2011). MSC: 68Q60 68Q45 PDFBibTeX XMLCite \textit{M. Fränzle} et al., in: Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12--14, 2011. New York, NY: Association for Computing Machinery (ACM). 43--52 (2011; Zbl 1362.68170) Full Text: DOI
Hahn, E. Moritz; Hermanns, Holger; Wachter, Björn; Zhang, Lijun Time-bounded model checking of infinite-state continuous-time Markov chains. (English) Zbl 1214.68213 Fundam. Inform. 95, No. 1, 129-155 (2009). MSC: 68Q60 PDFBibTeX XMLCite \textit{E. M. Hahn} et al., Fundam. Inform. 95, No. 1, 129--155 (2009; Zbl 1214.68213) Full Text: DOI