Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness. - Mahdieh Zaker; Henk A. P. Blom; Sadegh Soudjani; Abolfazl Lavaei (ITSC, 2024)

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

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics. - Mahdieh Zaker; David Angeli; 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)

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees. - Mahdieh Zaker; 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)

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 Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies. - Mahdieh Zaker; Amy Nejati; Abolfazl Lavaei (CoRR, 2025)

Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach. - Mahdieh Zaker; David Angeli; Abolfazl Lavaei (CoRR, 2025)