About
Hello!
I am a last year doctoral student at Max Planck Institute for Software Systems. My advisor is Prof. Rupak Majumdar. I finished my master studies in Electrical Engineering department at University of Tehran, under the supervision of Professor F.R. Salmasi.
Research Interests
- Formal Methods in Control
- Learning in Control
- Cyber-Physical Systems
Publications
- Data-Driven Abstraction-Based Control Synthesis with Milad Kazemi, Rupak Majumdar, Sadegh Soudjani and Ben Wooding.
- The Pseudo-Reachability Problem for Diagonalisable Linear Dynamical Systems with Julian D'Costa, Toghrul Karimov, Joël Ouaknine, James Worrell, MFCS 2022.
- Symbolic Reach-Avoid Control of Multi-Agent Systems with Rupak Majumdar, Kaushik Mallik, Sadegh Soudjani, Mehrdad Zareian, ICCPS 2021.
- The Pseudo-Skolem Problem is Decidable with Julian D'Costa, Toghrul Karimov, Joël Ouaknine, James Worrell, MFCS 2022.
- On Decidability of Time-Bounded Reachability in CTMDPs with Rupak Majumdar and Sadegh Soudjani, ICALP 2020.
- A Lyapunov Approach for Time-Bounded Reachability of CTMCs and CTMDPs with Sadegh Soudjani and Rupak Majumdar, TOMPECS.
- Memory-Efficient Mixed-Precision Implementations for Robust Explicit Model Predictive Control with Rocco Salvia, Eva Darulova, Sadegh Soudjani and Rupak Majumdar, EMSOFT 2019.
- Approximate Time Bounded Reachability for CTMCs and CTMDPs: A Lyapunov Approach with Sadegh Soudjani and Rupak Majumdar, QEST 2018. (Best Paper Award)
- Perception-in-the-Loop Adversarial Examples with Sadegh Soudjani and Rupak Majumdar.
Competitions
Teaching
-
Advanced Complexity Theory (teaching assistant), TU-Kaiserslautern, Winter 2021.
-
Advanced Automata Theory (teaching assistant), TU-Kaiserslautern, Summer 2018.
Supervised Students
-
Ghazal Ebrahimi, Summer 2019.