ePrints

Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates

Lookup NU author(s): Dr Abolfazl Lavaei, Dr Sadegh SoudjaniORCiD

Downloads

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

Publication metadata

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

Publication type: Article

Publication status: Published

Journal: Automatica

Year: 2024

Volume: 159

Print publication date: 01/01/2024

Online publication date: 07/11/2023

Acceptance date: 24/08/2023

ISSN (print): 0005-1098

ISSN (electronic): 1873-2836

Publisher: Elsevier

URL: https://doi.org/10.1016/j.automatica.2023.111323

DOI: 10.1016/j.automatica.2023.111323

Altmetrics

Share