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