Skip to content
Sino-Europe Institute of Dependable and Smart Software
  • Home
  • The institute
  • Partners
  • Projects
  • Study with us

Month: July 2020

PRODeep: a platform for robustness verification of deep neural networks

2020-07-06 Junwen Li

PRODeep is a platform for robustness verification of deep neural networks (DNNs). It incorporates constraint-based, abstraction-based, and optimisation-based robustness verification…

Continue Reading →

Posted in: Dependable AI

Recent Posts

  • PRODeep: a platform for robustness verification of deep neural networks
  • JCST Special Section on Software Systems 2020
  • The 24th International Conference on Engineering of Complex Computer Systems Was Rounded Off
  • Professor Bow-Yaw Wang (Academia Sinica) Visited Our Lab
  • Professor Panagiotis Katsaros (Aristotle University of Thessaloniki) Visited Our Lab

Archives

  • July 2020
  • March 2020
  • November 2019
  • August 2019
  • July 2019
  • June 2019

Restricted area

  • Log in
©2019 Sino-Europe Institute of Dependable and Smart Software