Model-Centered Assurance for Autonomous Systems.

Susmit Jha John Rushby Natarajan Shankar

Published in: SAFECOMP (2020)

Keyphrases

autonomous systems
management system
least squares
mathematical model
decision makers
dynamic environments
stereo vision