Automatic verification of linear controller software.

Miroslav Pajic, Junkil Park, Insup Lee, George J. Pappas, Oleg Sokolsky

Browse the full EMSOFT paper archive.