ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems

  1. Lookup NU author(s)
  2. Fedor Shmarov
  3. Dr Paolo Zuliani
Author(s)Shmarov F, Zuliani P
Editor(s)
Publication type Conference Proceedings (inc. Abstract)
Conference Name18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
Conference LocationSeattle, WA, USA
Year of Conference2015
Source Publication Date
Volume
Pages134-139
ISBN9781450334334
Full text is available for this publication:
PublisherACM
URLhttp://dx.doi.org/10.1145/2728606.2728625
DOI10.1145/2728606.2728625
ActionsLink to this publication
Library holdingsSearch Newcastle University Library for this item
Share