Paper accepted at TACAS'17

December 2016 - Paper on "Automatic Verification of Finite Precision Implementations of Linear Controllers" has been accepted at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'17)!