Mahdieh Zaker

14 papers Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
ARCH-COMP25 Category Report: Stochastic Models.
CoRR
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, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding, Mahdieh Zaker
2025 — conf
Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories.
L4DC
Behrad Samari, Mahdieh Zaker, Abolfazl Lavaei
2025 — conf
Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics.
CDC
Mahdieh Zaker, David Angeli, Abolfazl Lavaei
2025 J jnl
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach.
CoRR
Mahdieh Zaker, David Angeli, Abolfazl Lavaei
2025 J jnl
Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies.
CoRR
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
2025 — conf
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees.
HSCC
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
2025 J jnl
From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees.
CoRR
Mahdieh Zaker, Amy Nejati, Abolfazl Lavaei
2024 J jnl
Abstraction-based Control of Unknown Continuous-Space Models with Just Two Trajectories.
CoRR
Behrad Samari, Mahdieh Zaker, Abolfazl Lavaei
2024 J jnl
Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics.
CoRR
Mahdieh Zaker, David Angeli, Abolfazl Lavaei
2024 J jnl
Compositional Design of Safety Controllers for Large-scale Stochastic Hybrid Systems.
CoRR
Mahdieh Zaker, Omid Akbarzadeh, Behrad Samari, Abolfazl Lavaei
2024 J jnl
From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems.
CoRR
Behrad Samari, Omid Akbarzadeh, Mahdieh Zaker, Abolfazl Lavaei
2024 J jnl
From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems.
IEEE Control. Syst. Lett.
Behrad Samari, Omid Akbarzadeh, Mahdieh Zaker, Abolfazl Lavaei
2024 — conf
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness.
ITSC
Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei
2024 J jnl
Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness.
CoRR
Mahdieh Zaker, Henk A. P. Blom, Sadegh Soudjani, Abolfazl Lavaei