Ameneh Nejati
Papers
1
Total Citations
3
H-Index
1
About
Ameneh Nejati is a rising researcher at the forefront of formal methods and control theory, with a focus on the safe and correct synthesis of controllers for complex, stochastic systems. Her work masterfully bridges the gap between high-level logical decision-making and low-level continuous dynamics, a critical challenge in modern cyber-physical systems. Her most-cited paper, "Context-triggered Games for Reactive Synthesis over Stochastic Systems via Control Barrier Certificates" (2024), introduces a novel formal framework for automatically synthesizing hybrid controllers. This work uniquely integrates reactive synthesis with control barrier certificates, enabling the enforcement of intricate logic specifications on nonlinear, stochastic systems while ensuring safety and performance. Though early in her career, this foundational contribution has already garnered attention, demonstrating its significance to the community. By tackling the inherent uncertainty and complexity of real-world environments, Nejati’s research is paving the way for more reliable autonomous systems, from robotics to smart infrastructure, establishing her as a promising voice in the synthesis and verification of intelligent, safety-critical controllers.
Research Focus
Key Achievements
Top Papers
- 1