Bisimulation conversion and verification procedure for goal-based control systems.

Julia M. B. Braman Richard M. Murray

Published in: Formal Methods Syst. Des. (2011)

Keyphrases

control system
model checking
genetic algorithm
face verification
real world
artificial intelligence
image processing
multiscale
mobile robot
dynamic environments
temporal logic
iterative procedure