A. (Armin) Pirastehzad, PhD
postdoctoraal onderzoeker
E-mail:
a.pirastehzad rug.nl
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
Laatst gewijzigd:07 september 2026 23:12