Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming

Research output: Contribution to journalConference article

Fingerprint Dive into the research topics of 'Proving program invariance and termination by parametric abstraction, lagrangian relaxation and semidefinite programming'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science