Model checking by abstraction for proving liveness properties of hybrid dynamical systems (2012)

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

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.escholar.manchester.ac.uk/uk-ac-man-scw:161817

Type: Conference/Paper/Proceeding/Abstract

Volume: 1

Parent Publication: 19th Automated Reasoning Workshop

Issue: 1