Reactive Synthesis of Stochastic Control Systems: A Mode-triggered Safety Barrier Approach. - Amy Nejati; Anne-Kathrin Schmuck (CDC, 2024)

From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks. - Omid Akbarzadeh; Amy Nejati; Abolfazl Lavaei (CoRR, 2024)

Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach. - Behrad Samari; Amy Nejati; Abolfazl Lavaei (CoRR, 2024)

A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems. - Ali Aminzadeh; MohammadHossein Ashoori; Amy Nejati; Abolfazl Lavaei (CoRR, 2024)

TRUST: StabiliTy and Safety ContRoller Synthesis for Unknown Dynamical Models Using a Single Trajectory. - Jamie Gardner; Ben Wooding; Amy Nejati; Abolfazl Lavaei (HSCC, 2025)

Certified Model Order Reduction from Data. - Behrad Samari; Amy Nejati; Abolfazl Lavaei (HSCC, 2025)

From Data to Global Asymptotic Stability of Unknown Large-Scale Networks with Provable Guarantees. - Mahdieh Zaker; Amy Nejati; Abolfazl Lavaei (HSCC, 2025)

Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation. - MohammadHossein Ashoori; Ali Aminzadeh; Abolfazl Lavaei; Amy Nejati (ICCPS, 2025)

Model Order Reduction from Data with Certification. - Behrad Samari; Amy Nejati; Abolfazl Lavaei (CoRR, 2025)

ARCH-COMP25 Category Report: Stochastic Models. - 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; et al. (CoRR, 2025)

Data-Driven Safety Certificates of Infinite Networks with Unknown Models and Interconnection Topologies. - Mahdieh Zaker; Amy Nejati; Abolfazl Lavaei (CoRR, 2025)

Physics-Informed Data-Driven Control of Nonlinear Polynomial Systems with Noisy Data. - MohammadHossein Ashoori; Ali Aminzadeh; Amy Nejati; Abolfazl Lavaei (CoRR, 2025)

From Formal Methods to Data-Driven Safety Certificates of Unknown Large-Scale Networks. - Omid Akbarzadeh; Behrad Samari; Amy Nejati; Abolfazl Lavaei (CoRR, 2025)