Multi-UAV cooperative search and coverage control in post-disaster assessment: experimental implementation. - Ali Aminzadeh; Abdol Majid Khoshnood (Intell. Serv. Robotics, 2023)

Compositional Synthesis of Safety Barrier Certificates for Infinite Networks. - Ali Aminzadeh; Abolfazl Lavaei (ECC, 2024)

Compositional Safety Verification of Infinite Networks: A Data-Driven Approach. - Ali Aminzadeh; Abdalla Swikir; Sami Haddadin; Abolfazl Lavaei (ECC, 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)

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

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