C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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