Pages that link to "Item:Q3608402"
From MaRDI portal
The following pages link to Precise Relational Invariants Through Strategy Iteration (Q3608402):
Displaying 7 items.
- Abstract interpretation meets convex optimization (Q435969) (← links)
- Tropical linear-fractional programming and parametric mean payoff games (Q435971) (← links)
- Numerical invariants through convex relaxation and max-strategy iteration (Q2248100) (← links)
- Static analysis by abstract interpretation: a mathematical programming approach (Q2814107) (← links)
- Template-Based Unbounded Time Verification of Affine Hybrid Automata (Q2901366) (← links)
- Improving Strategies via SMT Solving (Q3000582) (← links)
- Proving Termination by Policy Iteration (Q5170173) (← links)