Login / Signup
Assurance for Integrating Advanced Algorithms in Autonomous Safety-Critical Systems.
Milton Stafford
Siddhartha Bhattacharyya
Matthew Clark
Natasha A. Neogi
Thomas C. Eskridge
Published in:
IEEE Syst. J. (2021)
Keyphrases
</>
safety critical
formal methods
learning algorithm
safety analysis
distributed systems
fault tolerant
cooperative
embedded systems
intelligent systems
adaptive systems