Automated Compositional Verification for Robotic State Machines using Isabelle/HOL | IEEE Conference Publication | IEEE Xplore