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]
@inproceedings{LiuZ21-38, title = {Verification of Approximate Opacity via Barrier Certificates}, author = {Siyuan Liu and Majid Zamani}, year = {2021}, doi = {10.23919/ACC50511.2021.9483416}, url = {https://doi.org/10.23919/ACC50511.2021.9483416}, researchr = {https://researchr.org/publication/LiuZ21-38}, cites = {0}, citedby = {0}, pages = {764-769}, booktitle = {2021 American Control Conference, ACC 2021, New Orleans, LA, USA, May 25-28, 2021}, publisher = {IEEE}, isbn = {978-1-6654-4197-1}, }