Formal Safety Verification of Unknown Continuous-Time Systems: A Data-Driven Approach

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

Author(s): Lavaei A, Nejati A, Jagtap P, Zamani M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 24th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2021)

Year of Conference: 2021

Pages: Article No.: 29

Online publication date: 19/05/2021

Acceptance date: 19/05/2021

Publisher: ACM

URL: https://doi.org/10.1145/3447928.3456661

DOI: 10.1145/3447928.3456661

Library holdings: Search Newcastle University Library for this item

ISBN: 9781450383394

ePrints