Evolution of Formal Model-Based Assurance Cases for Autonomous Robots.

Mario Gleirscher, Simon Foster, Yakoub Nemouchi

Browse the full SEFM paper archive.