Publications

Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates

Mohammed Adib Oumer, Vishnu Murali, Ashutosh Trivedi, Majid Zamani.

IEEE Control. Syst. Lett. 8 : 3183-3188 (2024)

Publisher · BibTeX · DBLP

The abstract is not available here yet. Please see the linked publication record.