Zhenya Zhang
Papers
1
Total Citations
4
H-Index
1
About
Zhenya Zhang is a rising researcher in formal methods and control theory, with a focus on the safe and risk-aware operation of stochastic systems. Their work bridges runtime verification and model predictive control, enabling autonomous systems to dynamically adapt to changing temporal logic specifications while managing risk. Zhang’s most-cited paper, “Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics” (2024, 4 citations), introduces a novel framework that relaxes the conventional assumption of static, predefined specifications—a critical step for real-world applications like robotics and autonomous driving. By integrating runtime temporal logics with risk-aware control, Zhang addresses a key gap in ensuring safety under uncertainty. Though early in their career, this contribution has already garnered attention for its practical relevance and theoretical rigor, positioning Zhang as a promising voice in the intersection of formal verification and control. Their work offers a blueprint for systems that must reason about safety and performance on the fly, making it essential reading for researchers in cyber-physical systems and safe autonomy.
Research Focus
Key Achievements
Top Papers
- 1Risk-Aware MPC for Stochastic Systems with Runtime Temporal Logics4 citations · 2024