Rare-event verification for stochastic hybrid systems

  1. Lookup NU author(s)
  2. Dr Paolo Zuliani
Author(s)Zuliani P, Baier C, Clarke EM
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference Name15th ACM international conference on Hybrid Systems: Computation and Control (HSCC)
Conference LocationBeijing, China
Year of Conference2012
Date17-19 April 2012
Volume
Pages217-226
ISBN9781450312202
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
PublisherACM Press
URLhttp://dx.doi.org/10.1145/2185632.2185665
DOI10.1145/2185632.2185665
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item