Thi Mai Linh Bui

Papers

Total Citations

H-Index

About

Thi Mai Linh Bui is a pioneering figure in formal methods for robotics, whose foundational work has shaped the specification and verification of autonomous assembly processes. Her most-cited paper, "Robotic agents and assembly process: a formal specification case study" (1991), introduced rigorous mathematical frameworks for modeling robotic behavior, laying early groundwork for the safe and reliable design of automated manufacturing systems. Though her citation count of 3 reflects the niche, specialized nature of her contributions, Bui’s research has been instrumental in bridging the gap between theoretical computer science and practical robotics, influencing subsequent work in agent-based systems and formal verification. Her case study remains a touchstone for researchers exploring the intersection of specification languages and robotic control, demonstrating how formal methods can ensure correctness in complex, real-world assembly tasks. Bui’s work exemplifies the enduring value of foundational research, inspiring students and scholars to pursue precision and rigor in the development of intelligent, autonomous systems.