Browse by author
Lookup NU author(s): Dr Abolfazl Lavaei, Dr Milad Kazemi Mehrabadi, Dr Sadegh SoudjaniORCiD
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (CC BY-NC-ND).
Author(s): Lavaei A, Perez M, Kazemi M, Somenzi F, Soudjani S, Trivedi A, Zamani M
Publication type: Article
Publication status: Published
Journal: IEEE Open Journal of Control Systems
Year: 2023
Volume: 2
Pages: 425-438
Online publication date: 01/11/2023
Acceptance date: 15/10/2023
Date deposited: 30/10/2024
ISSN (electronic): 2694-085X
Publisher: IEEE
URL: https://doi.org/10.1109/OJCSYS.2023.3329394
DOI: 10.1109/OJCSYS.2023.3329394
Data Access Statement: "The data access statement" of the paper is available at: https://doi.org/10.5281/zenodo.10048195
Notes: Special Section on Formal Verification and Synthesis of Cyber-Physical Systems
Altmetrics provided by Altmetric