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

Publication
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Avatar
Pierre Roux
Researcher at Onera

Related