Pierre Roux, Pierre-Loïc Garoche. Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case. Formal Methods in System Design, 46(2):163-196, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.