Data-Driven Verification of Dynamical Systems via Closure Certificates
Conference Proceeding
Overview
publication date
- December 9, 2025
Date in CU Experts
- February 2, 2026 5:20 AM
Full Author List
- Iraji R; Galarza-Jimenez F; Zamani M
author count
- 3
presented at event
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 1350
end page
- 1355