Papers
4
Total Citations
38
H-Index
4
About
Zhenyu Lin is a researcher at the forefront of autonomous systems and robotic decision-making, with a core focus on formal methods, motion planning, and runtime monitoring. His work bridges the gap between high-level task specifications and low-level robot control, ensuring that autonomous agents operate safely and correctly in dynamic environments. Lin’s most influential contributions include an optimization-based framework that translates Signal Temporal Logic (STL) specifications into mixed-integer linear constraints for trajectory generation, enabling robots to self-correct during execution. He has also pioneered the integration of Metric Interval Temporal Logic (MITL) with reinforcement learning, creating modular Q-learning frameworks that allow robots to plan, monitor, and adapt their behavior under finite time constraints. With over 38 citations across his key publications, Lin’s research has been recognized for its practical impact on autonomous driving and robotic manipulation. His early work on vehicle and pedestrian recognition using multilayer LiDAR and support vector machines laid the groundwork for robust object tracking in autonomous systems. Lin’s innovative combination of temporal logic and learning-based methods is shaping the future of verifiable, safe autonomy.
Research Focus
Key Achievements
Top Papers
- 1
- 2
- 3
- 4