Verification of K-Step Opacity and Analysis of Its Complexity.

Anooshiravan Saboori Christoforos N. Hadjicostis

Published in: IEEE Trans Autom. Sci. Eng. (2011)

Keyphrases

computational cost
statistical analysis
data structure
quantitative analysis
automatic analysis
information retrieval
learning algorithm
website
artificial neural networks
upper bound
formal analysis