Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
CDC 2021 : 1314-1320
The abstract is not available here yet. Please see the linked publication record.
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.
CDC 2021 : 1314-1320
The abstract is not available here yet. Please see the linked publication record.