2 papers
cs.LG2021
Shared Certificates for Neural Network Verification
Marc Fischer, Christian Sprecher, Dimitar I. Dimitrov +2
Existing neural network verifiers compute a proof that each input is handled correctly under a given perturbation by propagating a symbolic abstraction of reachable values at each…
cs.RO2018
Voliro: An Omnidirectional Hexacopter With Tiltable Rotors
Mina Kamel, Sebastian Verling, Omar Elkhatib +5
Extending the maneuverability of unmanned areal vehicles promises to yield a considerable increase in the areas in which these systems can be used. Some such applications are the p…