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

Chrome logo  Add to Chrome

Firefox logo Add to Firefox

Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes


Jul 06, 2022
Niklas Kochdumper, Christian Schilling, Matthias Althoff, Stanley Bak


   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 Neural-Network Control Systems by Integrating Taylor Models and Zonotopes


Dec 16, 2021
Christian Schilling, Marcelo Forets, Sebastian Guadalupe

* accepted at AAAI-22 

   Access Paper or Ask Questions

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

DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization


Jun 03, 2021
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling


   Access Paper or Ask Questions

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

Into the unknown: Active monitoring of neural networks


Sep 14, 2020
Anna Lukina, Christian Schilling, Thomas A. Henzinger


   Access Paper or Ask Questions

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

Outside the Box: Abstraction-Based Monitoring of Neural Networks


Nov 29, 2019
Thomas A. Henzinger, Anna Lukina, Christian Schilling


   Access Paper or Ask Questions

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

Instrumenting an SMT Solver to Solve Hybrid Network Reachability Problems


Sep 13, 2016
Daniel Bryce, Sergiy Bogomolov, Alexander Heinz, Christian Schilling


   Access Paper or Ask Questions

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