Max Robotics — Global Service Robot Directory + US Certification

About

Tsung-Ming Liu is a leading researcher in autonomous robotics, specializing in the verification and performance guarantees of robot missions operating under uncertainty. His work bridges the gap between software verification and physical robotics, ensuring that robots deployed in critical environments—such as counter-weapons of mass destruction (C-WMD) missions—can perform predictably despite poorly characterized surroundings. Liu’s major contributions include developing automatic verification techniques that provide formal performance guarantees for behavior-based robot missions, as demonstrated in his most-cited paper (26 citations). He has also advanced multi-robot exploration by leveraging area bounds information for decentralized teams, enabling efficient and reliable surveying of confined spaces. His research on fusing ranging data from robot teams in close proximity has practical applications in search and rescue and area surveillance. With over 87 total citations across his key works, Liu’s impact is evident in his creation of software tools that allow designers to build critical robot missions with high assurance. His achievements highlight a commitment to making autonomous systems safe, predictable, and trustworthy in high-stakes scenarios, earning him recognition as a pioneer in performance-verified robotics.