Abstraction-based Synthesis of Continuous-Time Stochastic Control Systems. - Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (ECC, 2019)

Compositional Construction of Finite MDPs for Continuous-Time Stochastic Systems: A Dissipativity Approach. - Ameneh Nejati; Majid Zamani 001 (CoRR, 2020)

Compositional Construction of Control Barrier Certificates for Large-Scale Stochastic Switched Systems. - Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (IEEE Control. Syst. Lett., 2020)

Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. - Ameneh Nejati; Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (ADHS, 2021)

Formal safety verification of unknown continuous-time systems: a data-driven approach. - Abolfazl Lavaei; Ameneh Nejati; Pushpak Jagtap; Majid Zamani 001 (HSCC, 2021)

Estimating infinitesimal generators of stochastic systems with formal error bounds: a data-driven approach. - Abolfazl Lavaei; Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (HSCC, 2021)

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems. - Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (Eur. J. Control, 2021)

Data-Driven Controller Synthesis of Unknown Nonlinear Polynomial Systems via Control Barrier Certificates. - Ameneh Nejati; Bingzhuo Zhong; Marco Caccamo; Majid Zamani 001 (L4DC, 2022)

Compositional construction of control barrier functions for continuous-time stochastic hybrid systems. - Ameneh Nejati; Sadegh Soudjani; Majid Zamani 001 (Autom., 2022)

From Dissipativity Theory to Compositional Construction of Control Barrier Certificates. - Ameneh Nejati; Majid Zamani 001 (Leibniz Trans. Embed. Syst., 2022)

Estimation of Infinitesimal Generators for Unknown Stochastic Hybrid Systems via Sampling: A Formal Approach. - Ameneh Nejati; Abolfazl Lavaei; Sadegh Soudjani; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Data-Driven Synthesis of Safety Controllers via Multiple Control Barrier Certificates. - Ameneh Nejati; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)

Formal Verification and Control of Stochastic Hybrid Systems: Model-based and Data-driven Techniques. - Ameneh Nejati (2023)

Formal Verification of Unknown Discrete- and Continuous-Time Systems: A Data-Driven Approach. - Ameneh Nejati; Abolfazl Lavaei; Pushpak Jagtap; Sadegh Soudjani; Majid Zamani 001 (IEEE Trans. Autom. Control., 2023)

Data-Driven Safety Controller Synthesis for Unknown Systems with Wireless Communication Networks. - Omid Akbarzadeh; Ameneh Nejati; Abolfazl Lavaei (CoDIT, 2024)

Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates. - Ameneh Nejati; Satya Prakash Nayak; Anne-Kathrin Schmuck (HSCC, 2024)