Practical Policy Iterations A practical use of policy iterations for static analysis - The quadratic case.

Publication
Formal Methods in System Design
Avatar
Pierre Roux
Researcher at Onera

Related