Research

I am interested in formal methods for robotics, multi-agent coordination, and task and motion planning. My research focuses on how robots can autonomously decide to participate and form teams to perform complex high-level tasks.

Publications

A. Fang, T. Yin, J. Lin, and H. Kress-Gazit, "Continuous Execution of High-Level Collaborative Tasks for Heterogeneous Robot Teams". Under review.  [link]

A. Fang, T. Yin, and H. Kress-Gazit, "Online Resynthesis of High-Level Collaborative Tasks for Robots with Changing Capabilities". In: IEEE Robotics and Automation Letters (RA-L). Feb 2025. [link]

A. Fang and H. Kress-Gazit, "High-Level, Collaborative Task Planning Grammar and Execution for Heterogeneous Agents". In: Proc. of the 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS), May 2024. [link]

A. Fang and H. Kress-Gazit, "Automated Task Updates of Temporal Logic Specifications for Heterogeneous Robots". In: IEEE International Conference on Robotics and Automation (ICRA). May 2022. [link]

A. V. Martin, K. Cheng, A. Fang, Z. Zheng, H. Kress-Gazit, A. Mehta, D. Selva, and Y. Sun. “Decentralized Context-Based On-Board Planning for Earth Observation Missions”. In: AIAA Scitech 2021 Forum. Jan 2021. [link]

I. Verner, D. Cuperman, A. Fang, M. Reitman, T. Romm, G. Balikin. "Robot Online Learning Through Digital Twin Experiments: A Weightlifting Project". In: Auer, M., Zutin, D. (eds) Online Engineering & Internet of Things. Lecture Notes in Networks and Systems, vol 22. 2018. [link]

Awards