Lookup NU author(s): Dr Paolo Zuliani
This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by Association for Computing Machinery, 2015.
For re-use rights please refer to the publisher's terms and conditions.
Author(s): Liu B, Kong S, Gao S, Zuliani P, Clarke EM
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Year of Conference: 2015
Print publication date: 14/04/2015
Acceptance date: 20/12/2014
Date deposited: 16/04/2016
Publisher: Association for Computing Machinery
Library holdings: Search Newcastle University Library for this item