Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
No abstract available.
Related papers
- A Symbolic Approach to Bernstein Expansion for Program Analysis and Optimization CC 2004
- Parametric prediction of heap memory requirements ISMM 2008
- Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes CAV 2018
- Quantum abstract interpretation PLDI 2021
- Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems CAV 2021
- Relating complexity and precision in control flow analysis ICFP 2007
- Strong Invariants Are Hard: On the Hardness of Strongest Polynomial Invariants for (Probabilistic) Programs POPL 2024
- A Computational Cantor-Bernstein and Myhill's Isomorphism Theorem in Constructive Type Theory (Proof Pearl) CPP 2023