Pages that link to "Item:Q3558213"
From MaRDI portal
The following pages link to Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (Q3558213):
Displaying 16 items.
- Abstract interpretation meets convex optimization (Q435969) (← links)
- Tropical linear-fractional programming and parametric mean payoff games (Q435971) (← links)
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- Counterexample- and simulation-guided floating-point loop invariant synthesis (Q2233532) (← links)
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- A sums-of-squares extension of policy iterations (Q2406948) (← links)
- Policy iteration in finite templates domain (Q2520672) (← links)
- Static analysis by abstract interpretation: a mathematical programming approach (Q2814107) (← links)
- Donut Domains: Efficient Non-convex Domains for Abstract Interpretation (Q2891416) (← links)
- Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← links)
- Generalizing the Template Polyhedral Domain (Q3000579) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- Proving Termination by Policy Iteration (Q5170173) (← links)
- Computer Aided Verification (Q5716589) (← links)
- Validating numerical semidefinite programming solvers for polynomial invariants (Q5916266) (← links)
- A zonotopic framework for functional abstractions (Q5962973) (← links)