Quantitative Verification and Control via the Mu-Calculus.

Published in: CONCUR (2003)

Keyphrases

control system
qualitative and quantitative
model checking
control strategy
closed loop
algebraic structure
database
computer vision
decision trees
development environment
formal methods