Verification of liveness properties on hybrid dynamical systems (2013)

First Author: Carter Rebekah
Attributed to:  DYVERSE: A New Kind of Control for Hybrid Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: http://staff.cs.manchester.ac.uk/~navarroe/research/dyverse/liveness/

Type: Thesis