Ali Aminzadeh

According to our database, Ali Aminzadeh authored at least 3 papers between 2023 and 2024.

Collaborative distances:

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

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