Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Author(s): Salamati A, Lavaei A, Soudjani S, Zamani M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2021)

Year of Conference: 2021

Pages: 7-12

Online publication date: 09/09/2021

Acceptance date: 01/03/2021

ISSN: 2405-8963

Publisher: Elsevier Ltd

URL: https://doi.org/10.1016/j.ifacol.2021.08.466

DOI: 10.1016/j.ifacol.2021.08.466

Series Title: IFAC-PapersOnLine

ePrints