Mahdieh Zaker

Orcid: 0009-0009-0251-3380

According to our database1, Mahdieh Zaker authored at least 9 papers between 2024 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
Data-Driven Incremental GAS Certificate of Nonlinear Homogeneous Networks: A Formal Modular Approach.
CoRR, July, 2025

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies.
CoRR, July, 2025

ARCH-COMP25 Category Report: Stochastic Models.
CoRR, June, 2025

Abstraction-Based Control of Unknown Continuous-Space Models with Just Two Trajectories.
Proceedings of the 7th Annual Learning for Dynamics & Control Conference, 2025

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees.
Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025

2024
From a Single Trajectory to Safety Controller Synthesis of Discrete-Time Nonlinear Polynomial Systems.
IEEE Control. Syst. Lett., 2024

Certified Learning of Incremental ISS Controllers for Unknown Nonlinear Polynomial Dynamics.
CoRR, 2024

Compositional Design of Safety Controllers for Large-scale Stochastic Hybrid Systems.
CoRR, 2024

Rare Collision Risk Estimation of Autonomous Vehicles with Multi-Agent Situation Awareness.
Proceedings of the 27th IEEE International Conference on Intelligent Transportation Systems, 2024


  Loading...