Scalable Verification of Linear Controller Software.

Junkil Park, Miroslav Pajic, Insup Lee, Oleg Sokolsky

Browse the full TACAS paper archive.