Pages that link to "Item:Q2406948"
From MaRDI portal
The following pages link to A sums-of-squares extension of policy iterations (Q2406948):
Displaying 5 items.
- Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case (Q888469) (← links)
- Truncated policy iteration methods (Q1060136) (← links)
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis (Q2881067) (← links)
- 10.1162/1532443041827907 (Q4826001) (← links)
- (Q5744816) (← links)