Toggle Main Menu Toggle Search

Open Access padlockePrints

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes

Lookup NU author(s): Mariia Vasileva, 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 IEEE, 2020.

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

Publication metadata

Author(s): Vasileva M, Shmarov F, Zuliani P

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2020)

Year of Conference: 2020

Online publication date: 18/01/2021

Acceptance date: 26/09/2020

Date deposited: 03/11/2020

Publisher: IEEE


DOI: 10.1109/MEMOCODE51338.2020.9315182

Library holdings: Search Newcastle University Library for this item

ISBN: 9781728191485