Liu, Siyuan and Zamani, Majid
(2021):
Verification of Approximate Opacity via Barrier Certificates.
2021 American Control Conference (ACC), New Orleans, LA, USA, 25-28 May 2021.
In: 2021 American Control Conference (ACC),
New York: IEEE. pp. 764-769
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
| Subjects: | 000 Computer science, information and general works > 004 Data processing computer science |
| Place of Publication: | New York |
| Language: | English |
| Item ID: | 94531 |
| Date Deposited: | 07. Feb 2023, 08:58 |
| Last Modified: | 07. Feb 2023, 08:58 |
Actions (login required)
- View Item
