Faezeh Mirzaei

Papers

Total Citations

H-Index

About

Faezeh Mirzaei is a researcher whose work lies at the intersection of formal methods and swarm robotics, with a particular focus on the automatic synthesis of reliable, verifiable control code for multi-robot systems. Her most significant contribution is the development and application of Probabilistic Timed Supervisory Control Theory (ptSCT), a formal framework that enables the automatic generation of controller code for swarm robotics. This approach, detailed in her most-cited paper (5 citations), addresses the critical challenge of ensuring that emergent swarm behaviors are both correct by construction and probabilistically robust, moving beyond ad-hoc design to provable guarantees. Mirzaei has also contributed a comprehensive review of swarm robotics within the broader context of multi-robot systems, helping to clarify the field's unique challenges and opportunities. Her work is notable for bridging the gap between theoretical control theory and practical robotic implementation, offering a systematic pathway from high-level specifications to deployable code. With a research agenda centered on formal verification, probabilistic reasoning, and autonomous coordination, Mirzaei is contributing to the foundational infrastructure needed for trustworthy, scalable swarm intelligence.