Christian Sprecher | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Roland Siegwart
172 publications
Martin Vechev
49 publications
Gagandeep Singh
42 publications
Igor Gilitschenski
33 publications
Marc Fischer
22 publications
Mina Kamel
8 publications
Dimitar I. Dimitrov
8 publications
Zachary Taylor
6 publications
Sebastian Verling
2 publications
Paula Wulkop
2 publications
Omar Elkhatib
1 publication

research

∙ 09/01/2021

Shared Certificates for Neural Network Verification

Existing neural network verifiers compute a proof that each input is han...

0 Christian Sprecher, et al. ∙

research

∙ 01/14/2018

Voliro: An Omnidirectional Hexacopter With Tiltable Rotors

Extending the maneuverability of unmanned areal vehicles promises to yie...

0 Mina Kamel, et al. ∙