Mehrdad Zareian

According to our database, Mehrdad Zareian authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications.

Mehrdad Zareian, Anne-Kathrin Schmuck

Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023

2021

Abstraction-Based Output-Feedback Control with State-Based Specifications.

Anne-Kathrin Schmuck, Mehrdad Zareian

CoRR, 2021

Symbolic reach-avoid control of multi-agent systems.

Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian

Proceedings of the ICCPS '21: ACM/IEEE 12th International Conference on Cyber-Physical Systems, 2021