Pierre-Loïc Garoche
Pierre-Loïc Garoche
Home
Publications
Collaborators
Projects
Tools
Teaching
Talks
Contact
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison
Pierre Roux
,
Pierre-Loïc Garoche
January 2014
DOI
Type
Conference paper
Publication
FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
own
Pierre Roux
Researcher at Onera
Related
Automatic Synthesis of Piecewise Linear Quadratic Invariants for Programs
Integrating Policy Iterations in Abstract Interpreters
A Polynomial Template Abstract Domain based on Bernstein Polynomials
Incremental Invariant Generation Using Logic-Based Automatic Abstract Transformers
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses
Cite
×