The Zonotope Abstract Domain Taylor1+
Abstract elided by the publisher.
Related papers
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Quadratic Zonotopes - An Extension of Zonotopes to Quadratic Arithmetics APLAS 2015
- A general construction for abstract interpretation of higher-order automatic differentiation OOPSLA 2022
- Fast and precise certification of transformers PLDI 2021
- Synthesizing Precise Static Analyzers for Automatic Differentiation OOPSLA 2023
- Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement CAV 2022
- Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis CAV 2024
- Modular Static Analysis with Zonotopes SAS 2012