Model-Centered Assurance for Autonomous Systems.

Susmit Jha, John Rushby, Natarajan Shankar

Browse the full SAFECOMP paper archive.