Automated Compositional Verification for Robotic State Machines using Isabelle/HOL.

Fang Yan, Simon Foster, Ibrahim Habli

Browse the full ICECCS paper archive.