Ying Liu (刘颖)'s Homepage


  • Office: No. 611, Room 339, Building 5
  • Address: South Fourth Street 4#, Zhong Guan Cun, Beijing
  • email: liuying@ios.cn

About me

I am currently a Master student in the group. My main research interests are:

  • Robustness Verification of Neural Networks



  • 刘颖, 杨鹏飞, 张立军, 吴志林 (), 冯元 (): 前馈神经网络和循环神经网络的鲁棒性验证综述. In 软件学报 34(7):3134, 2023. DOI BIB
  • Ying Liu, Andrea Turrini, Ernst Moritz Hahn (), Bai Xue (), Lijun Zhang: Scenario Approach for Parametric Markov Models. In Automated Technology for Verification and Analysis - 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part I, volume 14215 of Lecture Notes in Computer Science, pages 158-180, 2023. DOI BIB