Automatic Verification of Finite Precision Implementations of Linear Controllers.

Junkil Park, Miroslav Pajic, Oleg Sokolsky, Insup Lee

Browse the full TACAS paper archive.