Trustworthy Intelligent Systems

Skip to content
  • Home
  • Members
  • Research
    • Publications
    • Projects
  • Teaching
    • Discrete Mathematics
    • Formal Methods
    • Reinforcement Learning
    • Algorithm Design and Analysis
  • Contact
  • Sino-Europe institute

Publication

[LiLHY0ZXH20] PRODeep: a platform for robustness verification of deep neural networks Li, R.; Li, J.; Huang, C.-C.; Yang, P.; Huang, X.; Zhang, L.; Xue, B. and Hermanns, H. In ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020, pages 1630-1634, ACM, 2020.
Downloads: bib

Admin area

  • Log in
Proudly powered by WordPress