Certifying Optimality of State Estimation Programs.

Grigore Rosu, Ram Prasad Venkatesan, Jon Whittle, Laurentiu Leustean

Browse the full CAV paper archive.