Toggle Main Menu Toggle Search

Open Access padlockePrints

ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems

Lookup NU author(s): Dr Fedor ShmarovORCiD, 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 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

Date deposited: 16/04/2016

Publisher: ACM


DOI: 10.1145/2728606.2728625

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450334334