Papers
6
Total Citations
49
H-Index
4
About
Majid Zamani is a leading researcher in the formal synthesis of secure and correct-by-construction controllers for safety-critical autonomous systems. His work lies at the intersection of control theory, formal methods, and cybersecurity, with a primary focus on ensuring that robotic and stochastic systems satisfy complex temporal logic specifications while remaining resilient to adversarial threats. Zamani pioneered the concept of "secure-by-construction" planning, developing algorithms that guarantee both task completion (e.g., linear temporal logic objectives) and security against passive eavesdropping intruders—a contribution that has garnered over 19 citations for his foundational 2020 paper. He also created AMYTISS, an open-source C++/OpenCL tool for parallelized, automated controller synthesis of large-scale stochastic systems, enabling scalable verification for applications like traffic networks and self-driving cars (12+ cumulative citations). More recently, Zamani has advanced safe AI by proposing sandboxing frameworks for deep neural network-based controllers within stochastic games, addressing the critical challenge of verifying complex, black-box AI systems. His work is essential reading for students and researchers in cyber-physical systems, formal verification, and secure autonomy.
Research Focus
Key Achievements
Top Papers
- 1Secure-by-Construction Optimal Path Planning for Linear Temporal Logic Tasks19 citations · 2020
- 2
- 3
- 4AMYTISS5 citations · 2020
- 5Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games4 citations · 2023
- 6OmegaThreads4 citations · 2021