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
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
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