Assume-guarantee cooperative satisfaction of multi-agent systems. - Alireza Partovi; Hai Lin 002 (ACC, 2014)

Reactive Integrated Mission and Motion planning. - Alireza Partovi; Rafael Rodrigues da Silva; Hai Lin 002 (CoRR, 2017)

Reactive Integrated Mission and Motion Planning for Mobile Robotic Manipulators. - Alireza Partovi; Rafael Rodrigues da Silva; Hai Lin 002 (ACC, 2018)

Reactive Supervisory Control of Open Discrete-event Systems. - Alireza Partovi; Jin Dai; Hai Lin 002 (CoRR, 2018)

Reactive Supervisory Control of Open Discrete Event Systems. - Alireza Partovi; Hai Lin 002 (CDC, 2019)

Ensuring Privacy in Location-Based Services: A Model-based Approach. - Alireza Partovi; Wei Zheng 012; Taeho Jung; Hai Lin 002 (CoRR, 2020)

Opacity of Discrete Event Systems with Active Intruder. - Alireza Partovi; Taeho Jung; Hai Lin 002 (CoRR, 2020)

Safety Verification for Evasive Collision Avoidance in Autonomous Vehicles with Enhanced Resolutions. - Aliasghar Arab; Milad Khaleghi; Alireza Partovi; Alireza Abbaspour; Chaitanya Shinde; Yashar Mousavi; Vahid Azimi; Ali Karimoddini (CoRR, 2024)