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 Shmarov, Dr Paolo Zuliani



This is the authors' accepted manuscript of a conference proceedings (inc. abstract) that has been accepted and is due to be 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: In Press

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

Year of Conference: 2020

Acceptance date: 26/09/2020

Date deposited: 03/11/2020

Publisher: IEEE