Direct methods for deductive verification of temporal properties in continuous dynamical systems

Andrew Sogokon. Direct methods for deductive verification of temporal properties in continuous dynamical systems. PhD thesis, University of Edinburgh, UK, 2016. [doi]

Abstract

Abstract is missing.