Christian Sprecher

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Signature Verification

Multilayer Perceptron

Top Venues

IEEE Robotics Autom. Mag.

Publications

Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev
Shared Certificates for Neural Network Verification. CAV (1) (2022)
Christian Sprecher, Marc Fischer, Dimitar I. Dimitrov, Gagandeep Singh, Martin T. Vechev
Shared Certificates for Neural Network Verification. CoRR (2021)
Mina Kamel, Sebastian Verling, Omar Elkhatib, Christian Sprecher, Paula Wulkop, Zachary Taylor, Roland Siegwart, Igor Gilitschenski
The Voliro Omniorientational Hexacopter: An Agile and Maneuverable Tiltable-Rotor Aerial Vehicle. IEEE Robotics Autom. Mag. 25 (4) (2018)
Mina Kamel, Sebastian Verling, Omar Elkhatib, Christian Sprecher, Paula Wulkop, Zachary Taylor, Roland Siegwart, Igor Gilitschenski
Voliro: An Omnidirectional Hexacopter With Tiltable Rotors. CoRR (2018)