LCV: A Verification Tool for Linear Controller Software.

Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee

Browse the full TACAS paper archive.