Enhancing motion safety by identifying safety-critical passageways.

Christian Pek Markus Koschi Moritz Werling Matthias Althoff

Published in: CDC (2017)

Keyphrases

safety critical
safety analysis
formal methods
fault tolerant
agent architecture
nuclear power plant
embedded systems
support systems
regulatory requirements
adaptive systems
real time
machine learning
open source
software development