A Hoare-style verification calculus for control state ASMs.

Werner Gabrisch Wolf Zimmermann

Published in: BCI (2012)

Keyphrases

control system
data acquisition
control theory
artificial intelligence
data model
mobile robot
control strategy
robotic systems
optimal control
control method
face verification