Liu, Siyuan und 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. S. 764-769
| Dokumententyp: | Konferenzbeitrag (Paper) |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| Ort: | New York |
| Sprache: | Englisch |
| Dokumenten ID: | 94531 |
| Datum der Veröffentlichung auf Open Access LMU: | 07. Feb. 2023 08:58 |
| Letzte Änderungen: | 07. Feb. 2023 08:58 |
- Dokument bearbeiten
