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

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Christian Sprecher

Shared Certificates for Neural Network Verification


Sep 14, 2021
Christian Sprecher, Marc Fischer, Dimitar I. Dimitrov, Gagandeep Singh, Martin Vechev


  Access Paper or Ask Questions

Proof Transfer for Neural Network Verification


Sep 01, 2021
Christian Sprecher, Marc Fischer, Dimitar I. Dimitrov, Gagandeep Singh, Martin Vechev


  Access Paper or Ask Questions

Voliro: An Omnidirectional Hexacopter With Tiltable Rotors


Jan 14, 2018
Mina Kamel, Sebastian Verling, Omar Elkhatib, Christian Sprecher, Paula Wulkop, Zachary Taylor, Roland Siegwart, Igor Gilitschenski

* Submitted to Robotics and Automation Magazine 

  Access Paper or Ask Questions