Pages that link to "Item:Q5916266"
From MaRDI portal
The following pages link to Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266):
Displaying 4 items.
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Pegasus: sound continuous invariant generation (Q2147687) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711486) (← links)
- Pegasus: a framework for sound continuous invariant generation (Q6535946) (← links)