Symbolic reach-avoid control of multi-agent systems. - Rupak Majumdar; Kaushik Mallik; Mahmoud Salamati; Sadegh Soudjani; Mehrdad Zareian (ICCPS, 2021)

Abstraction-Based Output-Feedback Control with State-Based Specifications. - Anne-Kathrin Schmuck; Mehrdad Zareian (CoRR, 2021)

Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. - Mehrdad Zareian; Anne-Kathrin Schmuck (HSCC, 2023)