Run-time verification of regularly expressed behavioral properties in robotic systems with logic-labeled finite state machines | IEEE Conference Publication | IEEE Xplore