A. (Armin) Pirastehzad, PhD
Postdoctoral Researcher
E-mail:
a.pirastehzad rug.nl
Field/Discipline
Expertise
Formal Methods in Control, Temporal Logic Control, Symbolic Control, Reactive Synthesis, System Abstraction, Reachability AnalysisData‑driven Verification and Control, Hierarchical Control, Modular Verification/Design, Model Order Reduction
Last modified:07 September 2026 11.12 p.m.