Cone-Based Abstract Interpretation for Nonlinear Positive Invariant Synthesis
Conference Proceeding
Overview
publication date
- May 14, 2024
has restriction
- closed
Date in CU Experts
- May 8, 2024 1:19 AM
Full Author List
- Berger G; Ghanbarpour M; Sankaranarayanan S
author count
- 3
presented at event
- HSCC '24: Computation and Control Conference
Other Profiles
Digital Object Identifier (DOI)
Additional Document Info
start page
- 1
end page
- 16