![[höher]](/style/images/multi_up.png)
Eine Ebene höherGruppiert nach: Dokumententyp |
Veröffentlichungsdatum
Anzahl der Publikationen: 4
2022
Noroozi, Navid; Salamati, Ali und Zamani, Majid
(2022):
Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach.
In: IEEE Control Systems Letters (L-Css), Bd. 6: S. 2210-2215
2021
Salamati, Ali; Lavaei, Abolfazl; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates.
In: Ifac Papersonline, Bd. 54, Nr. 5: S. 7-12
Salamati, Ali; Soudjani, Sadegh und Zamani, Majid
(2021):
Data-driven verification of stochastic linear systems with signal temporal logic constraints.
In: Automatica, Bd. 131, 109781
2020
Salamati, Ali; Soudjani, Sadegh und Zamani, Majid
(2020):
Data-Driven Verification under Signal Temporal Logic Constraints.
In: Ifac Papersonline, Bd. 53, Nr. 2: S. 76-81