Publications
 

Preprints

  • A. Lavaei and E. Frazzoli, Data-Driven Synthesis of Symbolic Abstractions with Guaranteed Confidence, submitted for publication, 2022.

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

  • A. Lavaei, S. Soudjani, E. Frazzoli, and M. Zamani, Constructing MDP Abstractions using Data with Formal Guarantees, submitted for publication, 2022.

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

  • A. Nejati, A. Lavaei, S. Soudjani, and M. Zamani, Estimation of Infinitesimal Generators for Stochastic Hybrid Systems via Sampling: A Formal Approach, submitted for publication, 2022.

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

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

  • 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.

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

  • A. Lavaei, M. Perez, M. Kazemi, F. Somenzi, S. Soudjani, A. Trivedi, and M. Zamani, Model-Free Reinforcement Learning for Formal Control of Stochastic Systems, submitted for publication, 2021.

  • B. Zhong, A. Lavaei, M. Zamani, and M. Caccamo, Automata-based Controller Synthesis for Stochastic Systems: A Game Framework via Approximate Probabilistic Relations, submitted for publication, 2021.

  • 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.

  • 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.

  • M. Anand*, A. Lavaei*, and M. Zamani, From Small-Gain Theory to Compositional Construction of Barrier Certificates for Large-Scale Stochastic Systems, submitted for publication, 2021.

* Both authors have contributed equally.

Journal Papers

Book Chapters

Conference Papers

Dissertations