Publikationen
 

Preprints

  • [P9] A. Lavaei and E. Frazzoli, Scalable Synthesis of Finite MDPs for Large-Scale Stochastic Switching Systems, submitted for publication, 2022.

  • [P8] A. Lavaei, P. Mohajerin Esfahani, and M. Zamani, Data-Driven Stability Verification of Homogeneous Nonlinear Systems with Unknown Dynamics, submitted for publication, 2022.

  • [P7] A. Lavaei and E. Frazzoli, Scalable Synthesis of Safety Controllers for Networks of Two-Player Stochastic Switched Games, submitted for publication, 2021.

  • [P6] A. Lavaei and E. Frazzoli, Formal Synthesis of Finite MDPs for Stochastic Hybrid Systems, submitted for publication, 2021.

  • [P5] A. Lavaei, S. Soudjani, and E. Frazzoli, A Compositional Dissipativity Approach for Data-Driven Safety Verification of Large-Scale Dynamical Systems, submitted for publication, 2021.

  • [P4] A. Salamati, A. Lavaei, S. Soudjani, and M. Zamani, Data-Driven Verification and Synthesis of Stochastic Systems via Barrier Certificates, submitted for publication, 2021.

  • [P3] A. Lavaei, M. Perez, M. Kazemi, F. Somenzi, S. Soudjani, A. Trivedi, and M. Zamani, Compositional Reinforcement Learning for Discrete-Time Stochastic Control Systems, submitted for publication, 2021.

  • [P2] A. Nejati, A. Lavaei, P. Jagtap, S. Soudjani, and M. Zamani, Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach, submitted for publication, 2021.

  • [P1] M. Anand, A. Lavaei, and M. Zamani, Compositional Synthesis of Control Barrier Certificates for Networks of Stochastic Systems against ω-Regular Specifications, submitted for publication, 2021.

Fachzeitschriftartikel

* Gleichermaßen beigetragen

Buchkapitel

Konferenz-Paper

Dissertation