Data-Driven Verification under Signal Temporal Logic Constraints. - Ali Salamati; Sadegh Soudjani; Majid Zamani 001 (CoRR, 2020)

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. - Ali Salamati; Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (ADHS, 2021)

Data-driven verification of stochastic linear systems with signal temporal logic constraints. - Ali Salamati; Sadegh Soudjani; Majid Zamani 001 (Autom., 2021)

Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates: A Wait-and-Judge Approach. - Ali Salamati; Majid Zamani 001 (L4DC, 2022)

Data-Driven Safety Verification of Discrete-Time Networks: A Compositional Approach. - Navid Noroozi; Ali Salamati; Majid Zamani 001 (IEEE Control. Syst. Lett., 2022)

Safety Verification of Stochastic Systems: A Repetitive Scenario Approach. - Ali Salamati; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Data-driven verification and synthesis of stochastic systems via barrier certificates. - Ali Salamati; Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (Autom., 2024)

Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines. - Swantje Plambeck; Ali Salamati; Eyke Huellermeier; Görschwin Fey (CoRR, 2025)