Thomas Martin Gawlitza, Helmut Seidl. Numerical invariants through convex relaxation and max-strategy iteration. Formal Methods in System Design, 44(2):101-148, 2014. [doi]
@article{GawlitzaS14, title = {Numerical invariants through convex relaxation and max-strategy iteration}, author = {Thomas Martin Gawlitza and Helmut Seidl}, year = {2014}, doi = {10.1007/s10703-013-0190-8}, url = {http://dx.doi.org/10.1007/s10703-013-0190-8}, researchr = {https://researchr.org/publication/GawlitzaS14}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {44}, number = {2}, pages = {101-148}, }