Runtime enforcement of K-step opacity

Yliès Falcone, Hervé Marchand. Runtime enforcement of K-step opacity. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 7271-7278, IEEE, 2013. [doi]

Abstract

Abstract is missing.