Verification and synthesis of linear systems by abstract acceleration

Dario Cattaruzza. Verification and synthesis of linear systems by abstract acceleration. PhD thesis, University of Oxford, UK, 2018. [doi]

Abstract

Abstract is missing.