Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh and 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),
pp. 1314-1320
| 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 |
| Language: | English |
| Item ID: | 94524 |
| Date Deposited: | 07. Feb 2023, 08:21 |
| Last Modified: | 07. Feb 2023, 08:21 |
Actions (login required)
- View Item
