Aiwen Lai
Papers
1
Total Citations
3
H-Index
1
About
Aiwen Lai is a researcher at the forefront of robotics and formal methods, specializing in the synthesis of safe, secure, and optimal autonomous behaviors. Their core research integrates control theory, temporal logic, and game theory to address critical challenges in multi-agent systems and human-robot interaction. A standout contribution is their work on "Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers" (2023), which tackles the vital problem of mission secrecy. By designing planning algorithms that prevent an external intruder from inferring a robot's high-level goals from its observable actions, Lai has advanced the field of privacy-aware autonomy. This work, already garnering early citations, demonstrates a deep understanding of both theoretical synthesis and practical security concerns. Lai’s research is essential for deploying trustworthy robots in sensitive environments, from logistics to defense, ensuring that autonomous systems can achieve complex tasks without compromising operational security. Their growing citation record reflects the timeliness and impact of their contributions to safe and secure robotic planning.
Research Focus
Key Achievements
Top Papers
- 1