A Formal Verification Approach for Robotic Workflows.

Michael Rathmair Thomas Haspl Titanilla Komenda Bernhard Reiterer Michael W. Hofbaur

Published in: ICAR (2021)

Keyphrases

formal verification
model checking
model checker
automated verification
real time
bounded model checking
symbolic model checking
robotic systems
data processing
workflow management systems
program slicing
mobile robot
scientific workflows
business process
business processes
web services
temporal logic
robotic arm