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