Toggle Main Menu Toggle Search

ePrints

ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems

Lookup NU author(s): Dr Fedor Shmarov, Dr Paolo Zuliani

Downloads


Licence

This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been published in its final definitive form by ACM, 2015.

For re-use rights please refer to the publisher's terms and conditions.


Publication metadata

Author(s): Shmarov F, Zuliani P

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

Pages: 134-139

Print publication date: 14/04/2015

Acceptance date: 20/12/2014

Publisher: ACM

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

DOI: 10.1145/2728606.2728625

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450334334


Actions

Link to this publication


Share