Multiplicative Barrier Certificates for Probabilistic Safety of Markov Jump Systems. - Behrad Samari; Matteo Della Rossa; Abolfazl Lavaei; Sadegh Soudjani; Raphaël M. Jungers (ADHS, 2024)

Compositional Design of Safety Controllers for Large-scale Stochastic Hybrid Systems. - Mahdieh Zaker; Omid Akbarzadeh; Behrad Samari; Abolfazl Lavaei (CoRR, 2024)

Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach. - Behrad Samari; Amy Nejati; Abolfazl Lavaei (CoRR, 2024)

From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems. - Behrad Samari; Omid Akbarzadeh; Mahdieh Zaker; Abolfazl Lavaei (IEEE Control. Syst. Lett., 2024)

Data-Driven Dynamic Controller Synthesis for Discrete-Time General Nonlinear Systems. - Behrad Samari; Abolfazl Lavaei (HSCC, 2025)

Certified Model Order Reduction from Data. - Behrad Samari; Amy Nejati; Abolfazl Lavaei (HSCC, 2025)

Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories. - Behrad Samari; Mahdieh Zaker; Abolfazl Lavaei (L4DC, 2025)

Model Order Reduction from Data with Certification. - Behrad Samari; Amy Nejati; Abolfazl Lavaei (CoRR, 2025)

From Data to Sliding Mode Control of Uncertain Large-Scale Networks with Unknown Dynamics. - Behrad Samari; Gian Paolo Incremona; Antonella Ferrara; Abolfazl Lavaei (CoRR, 2025)

ARCH-COMP25 Category Report: Stochastic Models. - Alessandro Abate; Omid Akbarzadeh; Henk A. P. Blom; Sofie Haesaert; Sina Hassani; Abolfazl Lavaei; Frederik Baymler Mathiesen; Rahul Misra; Amy Nejati; Mathis Niehage; Fie Ørum; Anne Remke; et al. (CoRR, 2025)

Data-Driven Model Order Reduction for Continuous- and Discrete-Time Nonlinear Systems. - Behrad Samari; Henrik Sandberg; Karl Henrik Johansson; Abolfazl Lavaei (CoRR, 2025)

Data-Driven Adaptive Second-Order Sliding Mode Control with Noisy Data. - Behrad Samari; Gian Paolo Incremona; Antonella Ferrara; Abolfazl Lavaei (CoRR, 2025)

From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks. - Omid Akbarzadeh; Behrad Samari; Amy Nejati; Abolfazl Lavaei (CoRR, 2025)