Evolution of Formal Model-Based Assurance Cases for Autonomous Robots

DOI10.1007/978-3-030-30446-1_5MaRDI QIDQ6488977zbMATH OpenFDO

Authors Mario Gleirscher, Simon Foster, Yakoub Nemouchi

Publication date 14 March 2024

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Artificial intelligence for robotics (68T40)

Recommendations

• Integration of formal proof into unified assurance cases with Isabelle/SACM
• Validating safety arguments with Lean
• Assurance of agent systems: what role should formal verification play?
• Safety case confidence propagation based on Dempster-Shafer theory
• D-S theory for argument confidence assessment

Cites work

• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• Differential Refinement Logic
• Differential dynamic logic for hybrid systems
• Model validation: a connection between robust control and identification
• Using the Isabelle ontology framework -- linking the formal with the informal

This page was built for publication: Evolution of Formal Model-Based Assurance Cases for Autonomous Robots

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6488977)