Scalable Analysis of Linear Systems Using Mathematical Programming
Abstract elided by the publisher.
Related papers
- Displayed Monoidal Categories for the Semantics of Linear Logic CPP 2024
- Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis VMCAI 2016
- The Gauge Domain: Scalable Analysis of Linear Inequality Invariants CAV 2012
- PIRK: Scalable Interval Reachability Analysis for High-Dimensional Nonlinear Systems CAV 2020
- Max-Policy Iteration, Revisited ESOP 2026
- OoLALA: an object oriented analysis and design of numerical linear algebra OOPSLA 2000
- Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration SAS 2015
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement CAV 2022