Login / Signup
Ali Aminzadeh
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Cooperative Search
Safety Analysis
Network Structure
Unmanned Aerial Vehicles
Top Venues
ECC
Intell. Serv. Robotics
</>
Publications
</>
Ali Aminzadeh
,
Abolfazl Lavaei
Compositional Synthesis of Safety Barrier Certificates for Infinite Networks.
ECC
(2024)
Ali Aminzadeh
,
Abdalla Swikir
,
Sami Haddadin
,
Abolfazl Lavaei
Compositional Safety Verification of Infinite Networks: A Data-Driven Approach.
ECC
(2024)
Ali Aminzadeh
,
Abdol Majid Khoshnood
Multi-UAV cooperative search and coverage control in post-disaster assessment: experimental implementation.
Intell. Serv. Robotics
16 (4) (2023)