Verification of K-step opacity and analysis of its complexity

Anooshiravan Saboori, Christoforos N. Hadjicostis. Verification of K-step opacity and analysis of its complexity. In Proceedings of the 48th IEEE Conference on Decision and Control, CDC 2009, combined withe the 28th Chinese Control Conference, December 16-18, 2009, Shanghai, China. pages 205-210, IEEE, 2009. [doi]

Authors

Anooshiravan Saboori

This author has not been identified. Look up 'Anooshiravan Saboori' in Google

Christoforos N. Hadjicostis

This author has not been identified. Look up 'Christoforos N. Hadjicostis' in Google