Feng, Weizhi; Li, Yong; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun On the power of finite ambiguity in Büchi complementation. (English) Zbl 07687219 Inf. Comput. 292, Article ID 105032, 27 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{W. Feng} et al., Inf. Comput. 292, Article ID 105032, 27 p. (2023; Zbl 07687219) Full Text: DOI arXiv
Fu, Jianling; Huang, Cheng-Chao; Li, Yong; Mei, Jingyi; Xu, Ming; Zhang, Lijun Quantitative controller synthesis for consumption Markov decision processes. (English) Zbl 07647065 Inf. Process. Lett. 180, Article ID 106342, 10 p. (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{J. Fu} et al., Inf. Process. Lett. 180, Article ID 106342, 10 p. (2023; Zbl 07647065) Full Text: DOI
Liu, Depeng; Wang, Bow-Yaw; Fu, Chen; Zhang, Lijun Model checking differentially private properties. (English) Zbl 1512.68157 Theor. Comput. Sci. 943, 153-170 (2023). MSC: 68Q60 03B44 60J20 68P27 90C40 PDFBibTeX XMLCite \textit{D. Liu} et al., Theor. Comput. Sci. 943, 153--170 (2023; Zbl 1512.68157) Full Text: DOI
Ren, Dejin; Lu, Wanli; Lv, Jidong; Zhang, Lijun; Xue, Bai Model Predictive Control with Reach-avoid Analysis. arXiv:2305.08712 Preprint, arXiv:2305.08712 [math.OC] (2023). BibTeX Cite \textit{D. Ren} et al., ``Model Predictive Control with Reach-avoid Analysis'', Preprint, arXiv:2305.08712 [math.OC] (2023) Full Text: arXiv OA License
Li, Yong; Turrini, Andrea; Feng, Weizhi; Vardi, Moshe Y.; Zhang, Lijun Divide-and-conquer determinization of Büchi automata based on SCC decomposition. (English) Zbl 1514.68108 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 152-173 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 13372, 152--173 (2022; Zbl 1514.68108) Full Text: DOI arXiv
Li, Yi; Li, Xie; Li, Yong; Sun, Xuechao; Turrini, Andrea; Zhang, Lijun Synthesizing ranking functions for loop programs via SVM. (English) Zbl 07601536 Theor. Comput. Sci. 935, 1-20 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Li} et al., Theor. Comput. Sci. 935, 1--20 (2022; Zbl 07601536) Full Text: DOI
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun Verifying Pufferfish privacy in hidden Markov models. (English) Zbl 1498.68104 Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 174-196 (2022). MSC: 68P27 PDFBibTeX XMLCite \textit{D. Liu} et al., Lect. Notes Comput. Sci. 13182, 174--196 (2022; Zbl 1498.68104) Full Text: DOI arXiv
Li, Yong; Tsay, Yih-Kuen; Turrini, Andrea; Vardi, Moshe Y.; Zhang, Lijun Congruence relations for Büchi automata. (English) Zbl 1521.68074 Huisman, Marieke (ed.) et al., Formal methods. 24th international symposium, FM 2021, virtual event, November 20–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13047, 465-482 (2021). MSC: 68Q45 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 13047, 465--482 (2021; Zbl 1521.68074) Full Text: DOI arXiv
Sun, Bing; Sun, Jun; Dai, Ting; Zhang, Lijun Probabilistic verification of neural networks against group fairness. (English) Zbl 1521.68159 Huisman, Marieke (ed.) et al., Formal methods. 24th international symposium, FM 2021, virtual event, November 20–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13047, 83-102 (2021). MSC: 68T05 60J22 68Q60 PDFBibTeX XMLCite \textit{B. Sun} et al., Lect. Notes Comput. Sci. 13047, 83--102 (2021; Zbl 1521.68159) Full Text: DOI arXiv
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1518.68150 Inf. Comput. 281, Article ID 104678, 32 p. (2021). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{Y. Li} et al., Inf. Comput. 281, Article ID 104678, 32 p. (2021; Zbl 1518.68150) Full Text: DOI arXiv
Yang, Pengfei; Li, Jianlin; Liu, Jiangchao; Huang, Cheng-Chao; Li, Renjue; Chen, Liqian; Huang, Xiaowei; Zhang, Lijun Enhancing robustness verification for deep neural networks via symbolic propagation. (English) Zbl 1519.68228 Formal Asp. Comput. 33, No. 3, 407-435 (2021). MSC: 68T07 68Q60 PDFBibTeX XMLCite \textit{P. Yang} et al., Formal Asp. Comput. 33, No. 3, 407--435 (2021; Zbl 1519.68228) Full Text: DOI
Yang, Pengfei; Li, Renjue; Li, Jianlin; Huang, Cheng-Chao; Wang, Jingyi; Sun, Jun; Xue, Bai; Zhang, Lijun Improving neural network verification through spurious region guided refinement. (English) Zbl 1467.68096 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 389-408 (2021). MSC: 68Q60 68T07 PDFBibTeX XMLCite \textit{P. Yang} et al., Lect. Notes Comput. Sci. 12651, 389--408 (2021; Zbl 1467.68096) Full Text: DOI arXiv
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
Zhang, Lijun; Xia, Yuanqing; Cui, Bing; Zhang, Jinhui; Shen, Ganghui Finite-time cooperative attitude control for leader-follower spacecraft with fixed-time observer. (English) Zbl 1525.93404 Int. J. Robust Nonlinear Control 30, No. 17, 7013-7030 (2020). MSC: 93D40 93A13 93B53 93C40 PDFBibTeX XMLCite \textit{L. Zhang} et al., Int. J. Robust Nonlinear Control 30, No. 17, 7013--7030 (2020; Zbl 1525.93404) Full Text: DOI
Li, Yong; Turrini, Andrea; Sun, Xuechao; Zhang, Lijun Proving non-inclusion of Büchi automata based on Monte Carlo sampling. (English) Zbl 1517.68205 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 18th international symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12302, 467-483 (2020). MSC: 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 12302, 467--483 (2020; Zbl 1517.68205) Full Text: DOI arXiv
Li, Yong; Vardi, Moshe Y.; Zhang, Lijun On the power of unambiguity in Büchi complementation. (English) Zbl 07455748 Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 182-198 (2020). MSC: 68Q45 68Q60 91A80 PDFBibTeX XMLCite \textit{Y. Li} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 182--198 (2020; Zbl 07455748) Full Text: arXiv Link
Pang, Jun (ed.); Zhang, Lijun (ed.) Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020. Proceedings. (English) Zbl 1493.68020 Lecture Notes in Computer Science 12153. Cham: Springer (ISBN 978-3-030-62821-5/pbk; 978-3-030-62822-2/ebook). xiii, 203 p. (2020). MSC: 68-06 68Nxx 00B25 PDFBibTeX XMLCite \textit{J. Pang} (ed.) and \textit{L. Zhang} (ed.), Dependable software engineering. Theories, tools, and applications. 6th international symposium, SETTA 2020, Guangzhou, China, November 24--27, 2020. Proceedings. Cham: Springer (2020; Zbl 1493.68020) Full Text: DOI
Li, Jianwen; Zhu, Shufang; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y. SAT-based explicit LTL reasoning and its application to satisfiability checking. (English) Zbl 1425.68259 Form. Methods Syst. Des. 54, No. 2, 164-190 (2019). MSC: 68Q60 03B44 68T20 PDFBibTeX XMLCite \textit{J. Li} et al., Form. Methods Syst. Des. 54, No. 2, 164--190 (2019; Zbl 1425.68259) Full Text: DOI
Vojnar, Tomáš (ed.); Zhang, Lijun (ed.) Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part I. (English) Zbl 1408.68025 Lecture Notes in Computer Science 11427. Cham: Springer (ISBN 978-3-030-17461-3/pbk; 978-3-030-17462-0/ebook). xxiii, 433 p., open access (2019). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{T. Vojnar} (ed.) and \textit{L. Zhang} (ed.), Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part I. Cham: Springer (2019; Zbl 1408.68025) Full Text: DOI
Vojnar, Tomáš (ed.); Zhang, Lijun (ed.) Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Part II. (English) Zbl 1408.68024 Lecture Notes in Computer Science 11428. Cham: Springer (ISBN 978-3-030-17464-4/pbk; 978-3-030-17465-1/ebook). xxiii, 413 p., open access (2019). MSC: 68-06 68Qxx 00B25 PDFBibTeX XMLCite \textit{T. Vojnar} (ed.) and \textit{L. Zhang} (ed.), Tools and algorithms for the construction and analysis of systems. 25th international conference, TACAS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6--11, 2019. Proceedings. Part II. Cham: Springer (2019; Zbl 1408.68024) Full Text: DOI
Liu, Depeng; Wang, Bow-Yaw; Zhang, Lijun Model checking differentially private properties. (English) Zbl 1519.68137 Ryu, Sukyoung (ed.), Programming languages and systems. 16th Asian symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11275, 394-414 (2018). MSC: 68Q60 03B44 60J20 68P27 90C40 PDFBibTeX XMLCite \textit{D. Liu} et al., Lect. Notes Comput. Sci. 11275, 394--414 (2018; Zbl 1519.68137) 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
Li, Yongjian; Duan, Kaiqiang; Jansen, David N.; Pang, Jun; Zhang, Lijun; Lv, Yi; Cai, Shaowei An automatic proving approach to parameterized verification. (English) Zbl 1407.68295 ACM Trans. Comput. Log. 19, No. 4, Article No. 27, 25 p. (2018). MSC: 68Q60 68T15 PDFBibTeX XMLCite \textit{Y. Li} et al., ACM Trans. Comput. Log. 19, No. 4, Article No. 27, 25 p. (2018; Zbl 1407.68295) Full Text: DOI Link
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Vardi, Moshe Y.; He, Jifeng Accelerating LTL satisfiability checking by SAT solvers. (English) Zbl 1410.68235 J. Log. Comput. 28, No. 6, 1011-1030 (2018). MSC: 68Q60 03B44 68T20 PDFBibTeX XMLCite \textit{J. Li} et al., J. Log. Comput. 28, No. 6, 1011--1030 (2018; Zbl 1410.68235) Full Text: DOI
Finkbeiner, Bernd (ed.); Pu, Geguang (ed.); Zhang, Lijun (ed.) Preface for the special issue for ATVA 2015. (English) Zbl 1408.68015 Acta Inf. 55, No. 8, 625-626 (2018). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{B. Finkbeiner} (ed.) et al., Acta Inf. 55, No. 8, 625--626 (2018; Zbl 1408.68015) 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
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic and Markov automata. (English) Zbl 1400.68132 Inf. Comput. 262, Part 1, 162-186 (2018). MSC: 68Q85 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Inf. Comput. 262, Part 1, 162--186 (2018; Zbl 1400.68132) Full Text: DOI
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. Probabilistic bisimulation for realistic schedulers. (English) Zbl 1398.68374 Acta Inf. 55, No. 6, 461-488 (2018). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{L. Zhang} et al., Acta Inf. 55, No. 6, 461--488 (2018; Zbl 1398.68374) Full Text: DOI
Li, Jianwen; Zhang, Lijun; Zhu, Shufang; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng An explicit transition system construction approach to LTL satisfiability checking. (English) Zbl 1382.68142 Formal Asp. Comput. 30, No. 2, 193-217 (2018). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. Li} et al., Formal Asp. Comput. 30, No. 2, 193--217 (2018; Zbl 1382.68142) Full Text: DOI
Shang, Fanhua; Zhou, Kaiwen; Liu, Hongying; Cheng, James; Tsang, Ivor W.; Zhang, Lijun; Tao, Dacheng; Jiao, Licheng VR-SGD: A Simple Stochastic Variance Reduction Method for Machine Learning. arXiv:1802.09932 Preprint, arXiv:1802.09932 [cs.LG] (2018). BibTeX Cite \textit{F. Shang} et al., ``VR-SGD: A Simple Stochastic Variance Reduction Method for Machine Learning'', Preprint, arXiv:1802.09932 [cs.LG] (2018) Full Text: arXiv OA License
Fu, Chen; Deng, Yuxin; Jansen, David N.; Zhang, Lijun On equivalence checking of nondeterministic finite automata. (English) Zbl 1498.68136 Larsen, Kim G. (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10606, 216-231 (2017). MSC: 68Q45 PDFBibTeX XMLCite \textit{C. Fu} et al., Lect. Notes Comput. Sci. 10606, 216--231 (2017; Zbl 1498.68136) Full Text: DOI
Feng, Yijun; Zhang, Lijun; Jansen, David N.; Zhan, Naijun; Xia, Bican Finding polynomial loop invariants for probabilistic programs. (English) Zbl 1495.68042 D’Souza, Deepak (ed.) et al., Automated technology for verification and analysis. 15th international symposium, ATVA 2017, Pune, India, October 3–6, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10482, 400-416 (2017). MSC: 68N30 68Q60 PDFBibTeX XMLCite \textit{Y. Feng} et al., Lect. Notes Comput. Sci. 10482, 400--416 (2017; Zbl 1495.68042) Full Text: DOI arXiv
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1453.68098 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 208-226 (2017). MSC: 68Q32 68Q45 PDFBibTeX XMLCite \textit{Y. Li} et al., Lect. Notes Comput. Sci. 10205, 208--226 (2017; Zbl 1453.68098) Full Text: DOI arXiv
Yang, Pengfei; Jansen, David N.; Zhang, Lijun Distribution-based bisimulation for labelled Markov processes. (English) Zbl 1494.68184 Abate, Alessandro (ed.) et al., Formal modeling and analysis of timed systems. 15th international conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10419, 170-186 (2017). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{P. Yang} et al., Lect. Notes Comput. Sci. 10419, 170--186 (2017; Zbl 1494.68184) Full Text: DOI arXiv
Wang, Shuling; Zhan, Naijun; Zhang, Lijun A compositional modelling and verification framework for stochastic hybrid systems. (English) Zbl 1370.68220 Formal Asp. Comput. 29, No. 4, 751-775 (2017). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDFBibTeX XMLCite \textit{S. Wang} et al., Formal Asp. Comput. 29, No. 4, 751--775 (2017; Zbl 1370.68220) Full Text: DOI
Feng, Yuan; Zhang, Lijun Precisely deciding CSL formulas through approximate model checking for CTMCs. (English) Zbl 1372.68170 J. Comput. Syst. Sci. 89, 361-371 (2017). MSC: 68Q60 68Q87 68W25 PDFBibTeX XMLCite \textit{Y. Feng} and \textit{L. Zhang}, J. Comput. Syst. Sci. 89, 361--371 (2017; Zbl 1372.68170) Full Text: DOI
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
Zhang, Lijun; Jansen, David N. A space-efficient simulation algorithm on probabilistic automata. (English) Zbl 1345.68219 Inf. Comput. 249, 138-159 (2016). MSC: 68Q45 68Q25 68Q85 PDFBibTeX XMLCite \textit{L. Zhang} and \textit{D. N. Jansen}, Inf. Comput. 249, 138--159 (2016; Zbl 1345.68219) 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
Xu, Ming; Zhang, Lijun; Jansen, David N.; Zhu, Huibiao; Yang, Zongyuan Multiphase until formulas over Markov reward models: an algebraic approach. (English) Zbl 1332.68143 Theor. Comput. Sci. 611, 116-135 (2016). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{M. Xu} et al., Theor. Comput. Sci. 611, 116--135 (2016; Zbl 1332.68143) Full Text: DOI
Eisentraut, Christian; Godskesen, Jens Chr.; Hermanns, Holger; Song, Lei; Zhang, Lijun Probabilistic bisimulation for realistic schedulers. (English) Zbl 1427.68193 Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 248-264 (2015). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 9109, 248--264 (2015; Zbl 1427.68193) Full Text: DOI
Chen, Yu-Fang; Hong, Chih-Duo; Wang, Bow-Yaw; Zhang, Lijun Counterexample-guided polynomial loop invariant generation by Lagrange interpolation. (English) Zbl 1381.68049 Kroening, Daniel (ed.) et al., Computer aided verification. 27th international conference, CAV 2015, San Francisco, CA, USA, July 18–24, 2015. Proceedings. Part I. Cham: Springer (ISBN 978-3-319-21689-8/pbk; 978-3-319-21690-4/ebook). Lecture Notes in Computer Science 9206, 658-674 (2015). MSC: 68N30 41A05 PDFBibTeX XMLCite \textit{Y.-F. Chen} et al., Lect. Notes Comput. Sci. 9206, 658--674 (2015; Zbl 1381.68049) 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
Peng, Yu; Wang, Shuling; Zhan, Naijun; Zhang, Lijun Extending hybrid CSP with probability and stochasticity. (English) Zbl 1369.68264 Li, Xuandong (ed.) et al., Dependable software engineering: theories, tools, and applications. First international symposium, SETTA 2015, Nanjing, China, November 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-25941-3/pbk; 978-3-319-25942-0/ebook). Lecture Notes in Computer Science 9409, 87-102 (2015). MSC: 68Q85 68Q60 68Q87 93C30 93C83 PDFBibTeX XMLCite \textit{Y. Peng} et al., Lect. Notes Comput. Sci. 9409, 87--102 (2015; Zbl 1369.68264) Full Text: DOI arXiv
He, Fei; Gao, Xiaowei; Wang, Bow-Yaw; Zhang, Lijun Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems. (English) Zbl 1346.68133 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 503-514 (2015). MSC: 68Q85 68Q45 68Q60 68Q87 68T05 PDFBibTeX XMLCite \textit{F. He} et al., in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 503--514 (2015; Zbl 1346.68133) Full Text: DOI
Finkbeiner, Bernd (ed.); Pu, Geguang (ed.); Zhang, Lijun (ed.) Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. (English) Zbl 1325.68017 Lecture Notes in Computer Science 9364. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). xiii, 520 p. (2015). MSC: 68-06 68Q60 00B25 PDFBibTeX XMLCite \textit{B. Finkbeiner} (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12--15, 2015. Proceedings. Cham: Springer (2015; Zbl 1325.68017) Full Text: DOI
Feng, Yuan; Zhang, Lijun A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. (English) Zbl 1337.68037 Distrib. Comput. 28, No. 4, 233-244 (2015). MSC: 68M14 68M15 68W15 PDFBibTeX XMLCite \textit{Y. Feng} and \textit{L. Zhang}, Distrib. Comput. 28, No. 4, 233--244 (2015; Zbl 1337.68037) Full Text: DOI Link
Katoen, Joost-Pieter; Song, Lei; Zhang, Lijun Probably safe or live. (English) Zbl 1394.68231 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 55, 10 p. (2014). MSC: 68Q60 03B44 68Q85 68Q87 PDFBibTeX XMLCite \textit{J.-P. Katoen} et al., in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 55, 10 p. (2014; Zbl 1394.68231) Full Text: DOI arXiv Link
Li, Jianwen; Zhang, Lijun; Pu, Geguang; Vardi, Moshe Y.; He, Jifeng \(\mathrm{LTL}_{f}\) satisfiability checking. (English) Zbl 1366.68177 Schaub, Torsten (ed.) et al., ECAI 2014. 21st European conference on artificial intelligence, Prague, Czech Republic, August 18–22, 2014. Proceedings. Including proceedings of the accompanied concerence on prestigious applications of intelligent systems (PAIS 2014). Amsterdam: IOS Press (ISBN 978-1-61499-418-3/pbk; 978-1-61499-419-0/ebook). Frontiers in Artificial Intelligence and Applications 263, 513-518 (2014). MSC: 68Q60 68Q25 PDFBibTeX XMLCite \textit{J. Li} et al., Front. Artif. Intell. Appl. 263, 513--518 (2014; Zbl 1366.68177) Full Text: arXiv Link
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. Bisimulations and logical characterizations on continuous-time Markov decision processes. (English) Zbl 1428.68191 McMillan, Kenneth L. (ed.) et al., Verification, model checking, and abstract interpretation. 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8318, 98-117 (2014). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Lect. Notes Comput. Sci. 8318, 98--117 (2014; Zbl 1428.68191) Full Text: DOI arXiv
Feng, Yuan; Zhang, Lijun A nearly optimal upper bound for the self-stabilization time in Herman’s algorithm. (English) Zbl 1417.68296 Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 342-356 (2014). MSC: 68W40 68M14 68M15 PDFBibTeX XMLCite \textit{Y. Feng} and \textit{L. Zhang}, Lect. Notes Comput. Sci. 8704, 342--356 (2014; Zbl 1417.68296) Full Text: DOI Link
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
Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun Deciding bisimilarities on distributions. (English) Zbl 1398.68364 Joshi, Kaustubh (ed.) et al., Quantitative evaluation of systems. 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40195-4/pbk). Lecture Notes in Computer Science 8054, 72-88 (2013). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 8054, 72--88 (2013; Zbl 1398.68364) Full Text: DOI
Feng, Yuan; Zhang, Lijun A tighter bound for the self-stabilization time in Herman’s algorithm. (English) Zbl 1291.68428 Inf. Process. Lett. 113, No. 13, 486-488 (2013). MSC: 68W15 68M14 PDFBibTeX XMLCite \textit{Y. Feng} and \textit{L. Zhang}, Inf. Process. Lett. 113, No. 13, 486--488 (2013; Zbl 1291.68428) Full Text: DOI
Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim On the relationship between LTL normal forms and Büchi automata. (English) Zbl 1390.68435 Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 256-270 (2013). MSC: 68Q60 03B44 03D05 PDFBibTeX XMLCite \textit{J. Li} et al., Lect. Notes Comput. Sci. 8051, 256--270 (2013; Zbl 1390.68435) Full Text: DOI arXiv
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic automata. (English) Zbl 1381.68115 Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 16-31 (2013). MSC: 68Q45 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 7795, 16--31 (2013; Zbl 1381.68115) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Katoen, Joost-Pieter; Zhang, Lijun A semantics for every GSPN. (English) Zbl 1381.68199 Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 90-109 (2013). MSC: 68Q85 68Q55 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 7927, 90--109 (2013; Zbl 1381.68199) Full Text: DOI
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.; Nielson, Flemming Bisimulations meet PCTL equivalences for probabilistic automata. (English) Zbl 1264.03087 Log. Methods Comput. Sci. 9, No. 2, Paper No. 7, 34 p. (2013). MSC: 03B70 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Log. Methods Comput. Sci. 9, No. 2, Paper No. 7, 34 p. (2013; Zbl 1264.03087) Full Text: DOI
Gao, Yang; Xu, Ming; Zhan, Naijun; Zhang, Lijun Model checking conditional CSL for continuous-time Markov chains. (English) Zbl 1259.68125 Inf. Process. Lett. 113, No. 1-2, 44-50 (2013). MSC: 68Q60 68Q87 60J27 03B48 PDFBibTeX XMLCite \textit{Y. Gao} et al., Inf. Process. Lett. 113, No. 1--2, 44--50 (2013; Zbl 1259.68125) Full Text: DOI Link
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
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger Efficient CSL model checking using stratification. (English) Zbl 1348.68152 Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012). MSC: 68Q60 68Q87 68W25 PDFBibTeX XMLCite \textit{L. Zhang} et al., Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p. (2012; Zbl 1348.68152) Full Text: DOI
Sack, Joshua; Zhang, Lijun A general framework for probabilistic characterizing formulae. (English) Zbl 1326.68176 Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 396-411 (2012). MSC: 68Q45 03B48 68Q60 68Q87 PDFBibTeX XMLCite \textit{J. Sack} and \textit{L. Zhang}, Lect. Notes Comput. Sci. 7148, 396--411 (2012; Zbl 1326.68176) 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
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
Song, Lei; Zhang, Lijun; Godskesen, Jens Chr. Bisimulations meet PCTL equivalences for probabilistic automata. (English) Zbl 1344.68170 Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 108-123 (2011). MSC: 68Q85 03B44 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Song} et al., Lect. Notes Comput. Sci. 6901, 108--123 (2011; Zbl 1344.68170) Full Text: DOI
Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun On stabilization in Herman’s algorithm. (English) Zbl 1333.68038 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 466-477 (2011). MSC: 68M12 68M14 68W15 68W20 PDFBibTeX XMLCite \textit{S. Kiefer} et al., Lect. Notes Comput. Sci. 6756, 466--477 (2011; Zbl 1333.68038) Full Text: DOI arXiv
Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger Automata-based CSL model checking. (English) Zbl 1334.68135 Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 271-282 (2011). MSC: 68Q60 03B44 68Q45 68W25 PDFBibTeX XMLCite \textit{L. Zhang} et al., Lect. Notes Comput. Sci. 6756, 271--282 (2011; Zbl 1334.68135) Full Text: DOI
Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun Probabilistic logical characterization. (English) Zbl 1210.68072 Inf. Comput. 209, No. 2, 154-172 (2011). MSC: 68Q85 03B70 68Q45 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Inf. Comput. 209, No. 2, 154--172 (2011; Zbl 1210.68072) Full Text: DOI
Eisentraut, Christian; Hermanns, Holger; Zhang, Lijun Concurrency and composition in a stochastic world. (English) Zbl 1287.68132 Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 21-39 (2010). MSC: 68Q85 68Q45 68Q87 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Lect. Notes Comput. Sci. 6269, 21--39 (2010; Zbl 1287.68132) Full Text: DOI
Zhang, Lijun; Neuhäußer, Martin R. Model checking interactive Markov chains. (English) Zbl 1284.68420 Esparza, Javier (ed.) et al., Tools and algorithms for the construction and analysis of systems. 16th international conference, TACAS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20–28, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12001-5/pbk). Lecture Notes in Computer Science 6015, 53-68 (2010). MSC: 68Q60 68Q87 PDFBibTeX XMLCite \textit{L. Zhang} and \textit{M. R. Neuhäußer}, Lect. Notes Comput. Sci. 6015, 53--68 (2010; Zbl 1284.68420) Full Text: DOI
Wachter, Björn; Zhang, Lijun Best probabilistic transformers. (English) Zbl 1273.68244 Barthe, Gilles (ed.) et al., Verification, model checking, and abstract interpretation. 11th international conference, VMCAI 2010, Madrid, Spain, January 17–19, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-11318-5/pbk). Lecture Notes in Computer Science 5944, 362-379 (2010). MSC: 68Q60 68Q85 68Q87 PDFBibTeX XMLCite \textit{B. Wachter} and \textit{L. Zhang}, Lect. Notes Comput. Sci. 5944, 362--379 (2010; Zbl 1273.68244) 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
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. Flow faster: efficient decision algorithms for probabilistic simulations. (English) Zbl 1161.68473 Log. Methods Comput. Sci. 4, No. 4, Paper 6, 43 p. (2008). MSC: 68Q10 60J10 60J27 PDFBibTeX XMLCite \textit{L. Zhang} et al., Log. Methods Comput. Sci. 4, No. 4, Paper 6, 43 p. (2008; Zbl 1161.68473) Full Text: DOI
Crouzen, Pepijn; Hermanns, Holger; Zhang, Lijun On the minimisation of acyclic models. (English) Zbl 1160.68462 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 295-309 (2008). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Crouzen} et al., Lect. Notes Comput. Sci. 5201, 295--309 (2008; Zbl 1160.68462) Full Text: DOI
Zhang, Lijun A space-efficient probabilistic simulation algorithm. (English) Zbl 1160.68432 van Breugel, Franck (ed.) et al., CONCUR 2008 – concurrency theory. 19th international conference, CONCUR 2008, Toronto, Canada, August 19–22, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85360-2/pbk). Lecture Notes in Computer Science 5201, 248-263 (2008). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{L. Zhang}, Lect. Notes Comput. Sci. 5201, 248--263 (2008; Zbl 1160.68432) Full Text: DOI
Hermanns, Holger; Wachter, Björn; Zhang, Lijun Probabilistic CEGAR. (English) Zbl 1155.68438 Gupta, Aarti (ed.) et al., Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70543-7/pbk). Lecture Notes in Computer Science 5123, 162-175 (2008). MSC: 68Q60 PDFBibTeX XMLCite \textit{H. Hermanns} et al., Lect. Notes Comput. Sci. 5123, 162--175 (2008; Zbl 1155.68438) Full Text: DOI
Zhang, Lijun; Hermanns, Holger Deciding simulations on probabilistic automata. (English) Zbl 1141.68443 Namjoshi, Kedar S. (ed.) et al., Automated technology for verification and analysis. 5th international symposium, ATVA 2007 Tokyo, Japan, October 22–25, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75595-1/pbk). Lecture Notes in Computer Science 4762, 207-222 (2007). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{L. Zhang} and \textit{H. Hermanns}, Lect. Notes Comput. Sci. 4762, 207--222 (2007; Zbl 1141.68443) Full Text: DOI
Zhang, Lijun; Hermanns, Holger; Eisenbrand, Friedrich; Jansen, David N. Flow faster: Efficient decision algorithms for probabilistic simulations. (English) Zbl 1186.68326 Grumberg, Orna (ed.) et al., Tools and algorithms for the construction and analysis of systems. 13th international conference, TACAS 2007, held as part of the joint European conferences on theory and practice of software, ETAPS 2007, Braga, Portugal, March 24 – April 1, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-71208-4/pbk). Lecture Notes in Computer Science 4424, 155-169 (2007). MSC: 68Q87 PDFBibTeX XMLCite \textit{L. Zhang} et al., Lect. Notes Comput. Sci. 4424, 155--169 (2007; Zbl 1186.68326) Full Text: DOI
Zhang, Lijun; Hermanns, Holger; Jansen, David N. Logic and model checking for hidden Markov models. (English) Zbl 1169.68524 Wang, Farn (ed.), Formal techniques for networked and distributed systems – FORTE 2005. 25th IFIP WG 6.1 international conference, Taipei, Taiwan, October 2–5, 2005. Proceedings. Berlin: Springer (ISBN 3-540-29189-X/pbk). Lecture Notes in Computer Science 3731, 98-112 (2005). MSC: 68Q60 PDFBibTeX XMLCite \textit{L. Zhang} et al., Lect. Notes Comput. Sci. 3731, 98--112 (2005; Zbl 1169.68524) Full Text: DOI