Login / Signup
Robust Safety-Critical Control for Dynamic Robotics.
Quan Nguyen
Koushil Sreenath
Published in:
IEEE Trans. Autom. Control. (2022)
Keyphrases
</>
safety critical
control system
nuclear power plant
artificial intelligence
formal methods
support systems
safety analysis
cooperative
decision makers
embedded systems
agent architecture