Mehrdad Zareian

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Feedback Controller

State Transition

Optimal Control

Top Venues

Publications

Mehrdad Zareian, Anne-Kathrin Schmuck
Lazy Synthesis of Symbolic Output-Feedback Controllers for State-Based Safety Specifications. HSCC (2023)
Anne-Kathrin Schmuck, Mehrdad Zareian
Abstraction-Based Output-Feedback Control with State-Based Specifications. CoRR (2021)
Rupak Majumdar, Kaushik Mallik, Mahmoud Salamati, Sadegh Soudjani, Mehrdad Zareian
Symbolic reach-avoid control of multi-agent systems. ICCPS (2021)