Get our free extension to see links to code for papers anywhere online!

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Systems Challenges for Trustworthy Embodied Systems


Jan 10, 2022
Harald Ruess

* 57 pages, 7 figures, 3 tables. Public project deliverable, excerpt of which is planned to be published at a suitable conference (to be determined) 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Towards Dependability Metrics for Neural Networks


Jun 08, 2018
Chih-Hong Cheng, Georg N├╝hrenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka


   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Verification of Binarized Neural Networks via Inter-Neuron Factoring


Jan 19, 2018
Chih-Hong Cheng, Georg N├╝hrenberg, Chung-Hao Huang, Harald Ruess

* Version 2: add proofs for hardness of PTAS approximability, remove experiments on randomized examples and some not-so-important optimizations 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Neural Networks for Safety-Critical Applications - Challenges, Experiments and Perspectives


Sep 04, 2017
Chih-Hong Cheng, Frederik Diehl, Yassine Hamza, Gereon Hinz, Georg N├╝hrenberg, Markus Rickert, Harald Ruess, Michael Troung-Le

* Summary for activities conducted in the fortiss Eigenforschungsprojekt "TdpSW - Towards dependable and predictable SW for ML-based autonomous systems". All ANN-based motion predictors being formally analyzed are available in the source file 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email

Maximum Resilience of Artificial Neural Networks


Jul 05, 2017
Chih-Hong Cheng, Georg N├╝hrenberg, Harald Ruess

* Timestamp research work conducted in the project. version 2: fix some typos, rephrase the definition, and add some more existing work 

   Access Paper or Ask Questions

  • Share via Twitter
  • Share via Facebook
  • Share via LinkedIn
  • Share via Whatsapp
  • Share via Messenger
  • Share via Email