Safety Verification of Discrete-Time Systems via Interpolation-Inspired Barrier Certificates
Journal Article
Overview
publication date
- January 1, 2024
Date in CU Experts
- December 25, 2024 10:18 AM
Full Author List
- Oumer MA; Murali V; Trivedi A; Zamani M
author count
- 4
published in
- IEEE Control Systems Letters Journal
Other Profiles
Electronic International Standard Serial Number (EISSN)
- 2475-1456
Digital Object Identifier (DOI)
Additional Document Info
start page
- 1
end page
- 1