A Method for Invariant Generation for Polynomial Continuous Systems
No abstract available.
Related papers
- Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis SAS 2016
- Polynomial invariant generation for non-deterministic recursive programs PLDI 2020
- Invariant Generation for Multi-Path Loops with Polynomial Assignments VMCAI 2018
- Reasoning Algebraically About P-Solvable Loops TACAS 2008
- Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis POPL 2024
- Learning nonlinear loop invariants with gated continuous logic networks PLDI 2020
- Efficient Synthesis of Tight Polynomial Upper-Bounds for Systems of Conditional Polynomial Recurrences ESOP 2025
- Mora - Automatic Generation of Moment-Based Invariants TACAS 2020