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

Downloads


Licence

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

URL: https://doi.org/10.1109/MEMOCODE51338.2020.9315182

DOI: 10.1109/MEMOCODE51338.2020.9315182

Library holdings: Search Newcastle University Library for this item

ISBN: 9781728191485


Share