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]
No references recorded for this publication.
No citations of this publication recorded.