Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison

Pierre Roux, Pierre-Loic Garoche
January 2014
Cite DOI
Type
Conference paper
Publication
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
"own"
Pierre Roux
Pierre Roux
Researcher at Onera

Related