Refine by Content Type

Refine by Product

Refine by Time Frame

image thumbnail

updated 2 days ago

ProgCertSOS by Victor Magron

Certified program analysis using Sum-of-Squares (SOS) programming (static analysis, abstract interpretati..., template abstract dom...)

plotcontour(Xit, Yit, nit, y1, y2, P, number, dirname);

templatedesignbound (x, gC, gT, T, degP, r, sdpsolver)

templatedesignout (x, gC, gT, T, degP, r, kappa, sdpsolver)

Contact us