Path Planning and Control of Autonomous Vehicles in Dynamic Reach-Avoid Scenarios. - Laya Shamgah; Tadewos G. Tadewos; Ali Karimoddini; Abdollah Homaifar (CCTA, 2018)

A Symbolic Approach for Multi-target Dynamic Reach-avoid Problem. - Laya Shamgah; Tadewos G. Tadewos; Ali Karimoddini; Abdollah Homaifar (ICCA, 2018)

On-the-Fly Decentralized Tasking of Autonomous Vehicles. - Tadewos G. Tadewos; Laya Shamgah; Ali Karimoddini (CDC, 2019)

Automatic Safe Behaviour Tree Synthesis for Autonomous Agents. - Tadewos G. Tadewos; Laya Shamgah; Ali Karimoddini (CDC, 2019)

IoT-enabled autonomous system collaboration for disaster-area management. - Abenezer Girma; Niloofar Bahadori; Mrinmoy Sarkar; Tadewos G. Tadewos; Mohammad R. Behnia; M. Nabil Mahmoud; Ali Karimoddini; Abdollah Homaifar (IEEE CAA J. Autom. Sinica, 2020)

Specification-guided behavior tree synthesis and execution for coordination of autonomous systems. - Tadewos G. Tadewos; Abdullah Al Redwan Newaz; Ali Karimoddini (Expert Syst. Appl., 2022)

Automatic Decentralized Behavior Tree Synthesis and Execution for Coordination of Intelligent Vehicles. - Tadewos G. Tadewos; Laya Shamgah; Ali Karimoddini (Knowl. Based Syst., 2023)

Reactive Symbolic Planning and Control in Dynamic Adversarial Environments. - Laya Shamgah; Tadewos G. Tadewos; Abdullah Al Redwan Newaz; Ali Karimoddini; Albert C. Esterline (IEEE Trans. Autom. Control., 2023)