ePrints

Rare-event verification for stochastic hybrid systems

Lookup NU author(s): Dr Paolo Zuliani

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Zuliani P, Baier C, Clarke EM

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 15th ACM international conference on Hybrid Systems: Computation and Control (HSCC)

Year of Conference: 2012

Pages: 217-226

Publisher: ACM Press

URL: http://dx.doi.org/10.1145/2185632.2185665

DOI: 10.1145/2185632.2185665

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450312202

Share