Schewe, Sven (ed.); Zhang, Lijun (ed.) Editorial – special issue on concurrency theory (CONCUR 2018). (English) Zbl 1477.68027 J. Comput. Syst. Sci. 119, 19-20 (2021). MSC: 68-06 68Q85 00B25 PDFBibTeX XMLCite \textit{S. Schewe} (ed.) and \textit{L. Zhang} (ed.), J. Comput. Syst. Sci. 119, 19--20 (2021; Zbl 1477.68027) Full Text: DOI
Li, Yong; Turrini, Andrea; Zhang, Lijun; Schewe, Sven Learning to complement Büchi automata. (English) Zbl 1446.68082 Dillig, Isil (ed.) et al., Verification, model checking, and abstract interpretation. 19th international conference, VMCAI 2018, Los Angeles, CA, USA, January 7–9, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10747, 313-335 (2018). MSC: 68Q45 68Q32 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 10747, 313--335 (2018; Zbl 1446.68082) Full Text: DOI
Schewe, Sven (ed.); Zhang, Lijun (ed.) 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. (English) Zbl 1402.68024 LIPIcs – Leibniz International Proceedings in Informatics 118. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-087-3). xxi, 42 articles, not consecutively paged, electronic only, open access (2018). MSC: 68-06 68Q85 00B25 PDFBibTeX XMLCite \textit{S. Schewe} (ed.) and \textit{L. Zhang} (ed.), 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4--7, 2018. Proceedings. Wadern: Schloss Dagstuhl -- Leibniz Zentrum für Informatik (2018; Zbl 1402.68024) Full Text: DOI Link
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
Fearnley, John; Rabe, Markus N.; Schewe, Sven; Zhang, Lijun Efficient approximation of optimal control for continuous-time Markov games. (English) Zbl 1337.91015 Inf. Comput. 247, 106-129 (2016). MSC: 91A15 90C40 68Q87 93E20 PDFBibTeX XMLCite \textit{J. Fearnley} et al., Inf. Comput. 247, 106--129 (2016; Zbl 1337.91015) Full Text: DOI
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
Fearnley, John; Rabe, Markus; Schewe, Sven; Zhang, Lijun Efficient approximation of optimal control for continuous-time Markov games. (English) Zbl 1246.68165 Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 399-410, electronic only (2011). MSC: 68Q87 91A15 68Q60 PDFBibTeX XMLCite \textit{J. Fearnley} et al., LIPIcs -- Leibniz Int. Proc. Inform. 13, 399--410 (2011; Zbl 1246.68165) Full Text: DOI arXiv