software system / dissipated energy / verified software covers / rotational kinetic energy / hazardous software / software development process / robotics algorithms / safety-critical robotics algorithms / road network / car verification / applicable safety device / netic energy / automobile systems / safety-critical applications / machinery / final algorithm / verification tools / formal software verification process / programmable systems / electronic safety-related systems / safety critical applications / v2 energy dissipation const / robotics algorithm / software quality management plan / energy dissipation / kinetic energy / target hardware / car collision avoidance / formal software verification / car movements / robotics software development / main verification tool / safety-critical systems / collision avoidance algorithm / namely computing / certified technology / robotics applications / machinery directive / verified software / robotics software / rigid software development process / /
Organization
European Parliament / U.S. Securities and Exchange Commission / University of Bremen / European Union / German Ministry for Research and Technology / German Research Center / /
Person
Stefan Mohr Leuze / Stefan Mohr / Schlegel / Holger Täubig / Dennis Walter / Christoph Lüth / Christoph Hertzberg / Elena Vorobev / /
Published in Autonomous Robots,32(3):303–331, April[removed]DOI: [removed]s10514[removed]y The final publication is available at www.springerlink.com Guaranteeing Functional Safety: Design for Provability and Computer-Ai