Verification of Approximate Opacity via Barrier Certificates

Siyuan Liu, Majid Zamani. Verification of Approximate Opacity via Barrier Certificates. In 2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021. pages 764-769, IEEE, 2021. [doi]

Abstract

Abstract is missing.