Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh und Zamani, Majid
(2021):
Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates.
2021 60th IEEE Conference on Decision and Control (CDC), Austin, TX, USA, 14-17 December 2021.
In: 2021 60th IEEE Conference on Decision and Control (CDC),
S. 1314-1320
| Dokumententyp: | Konferenzbeitrag (Paper) |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Informatik |
| Themengebiete: | 000 Informatik, Informationswissenschaft, allgemeine Werke > 004 Informatik |
| Sprache: | Englisch |
| Dokumenten ID: | 94524 |
| Datum der Veröffentlichung auf Open Access LMU: | 07. Feb. 2023 08:21 |
| Letzte Änderungen: | 07. Feb. 2023 08:21 |
- Dokument bearbeiten
