Practical policy iterations. A practical use of policy iterations for static analysis: the quadratic case

From MaRDI portal
Publication:888469

DOI10.1007/s10703-015-0230-7zbMath1341.68031OpenAlexW250118690MaRDI QIDQ888469

Pierre-Loïc Garoche, Pierre Roux

Publication date: 30 October 2015

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-015-0230-7




Related Items


Uses Software


Cites Work