ePrints

From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks

Lookup NU author(s): Omid AkbarzadehORCiD, Behrad Samari, Dr Amy NejatiORCiD, Dr Abolfazl LavaeiORCiD

Downloads

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

Publication metadata

Author(s): Akbarzadeh O, Samari B, Nejati A, Lavaei A

Publication type: Article

Publication status: In Press

Journal: IEEE Transactions on Automatic Control

Year: 2026

Acceptance date: 01/12/2025

ISSN (print): 0018-9286

ISSN (electronic): 1558-2523

Publisher: Institute of Electrical and Electronics Engineers

Share