Formal Verification of Robotic Contact Tasks via Reachability Analysis - Tang, Chencheng; Althoff, Matthias (IFAC-PapersOnLine, 2023)
Keywords: formal verification; guard intersection; hybrid systems; Reachability analysis; robotic contact tasks; safety; robotic contact tasks; hybrid systems; formal verification; guard intersection; Reachability analysis; safety