Safety-critical advanced robots: A survey.

Jérémie Guiochet Mathilde Machin Hélène Waeselynck

Published in: Robotics Auton. Syst. (2017)

Keyphrases

safety critical
formal methods
fault tolerant
safety analysis
embedded systems
agent architecture
support systems
nuclear power plant
cooperative
regulatory requirements
low cost
adaptive systems
decision support system