Christoforos Keroglou, Stéphane Lafortune. Verification and synthesis of embedded insertion functions for opacity enforcement. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 4217-4223, IEEE, 2017. [doi]
Abstract is missing.