Ali Aminzadeh

According to our database, Ali Aminzadeh authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Physics-Informed Safety Verification of Nonlinear Systems: A Scenario Approach with Data Mitigation.

MohammadHossein Ashoori, Ali Aminzadeh, Abolfazl Lavaei, Amy Nejati

Proceedings of the ACM/IEEE 16th International Conference on Cyber-Physical Systems, 2025

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

Compositional Safety Verification of Infinite Networks: A Data-Driven Approach.

Ali Aminzadeh, Abdalla Swikir, Sami Haddadin, Abolfazl Lavaei

Proceedings of the European Control Conference, 2024

Compositional Synthesis of Safety Barrier Certificates for Infinite Networks.

Ali Aminzadeh, Abolfazl Lavaei

Proceedings of the European Control Conference, 2024

2023

Multi-UAV cooperative search and coverage control in post-disaster assessment: experimental implementation.

Ali Aminzadeh, Abdol Majid Khoshnood

Intell. Serv. Robotics, September, 2023