Micro fuel cell power management circuit design for portable devices. - Chia-Chun Tsai; Tsung-Ming Liu; Trong-Yen Lee (FSKD, 2012)

Getting it right the first time: Robot mission guarantees in the presence of uncertainty. - Damian M. Lyons; Ronald C. Arkin; P. Nirmal; Shu D. Jiang; Tsung-Ming Liu; J. Deeb (IROS, 2013)

Performance guarantees for C-WMD robot missions. - Shu D. Jiang; Ronald C. Arkin; Damian M. Lyons; Tsung-Ming Liu; Dagan Harrington (SSRR, 2013)

A Software Tool for the Design of Critical Robot Missions with Performance Guarantees. - Damian M. Lyons; Ronald C. Arkin; P. Nirmal; Shu D. Jiang; Tsung-Ming Liu (CSER, 2013)

Leveraging Area Bounds Information for Autonomous Multirobot Exploration. - Tsung-Ming Liu; Damian M. Lyons (IAS, 2014)

Leveraging area bounds information for autonomous decentralized multi-robot exploration. - Tsung-Ming Liu; Damian M. Lyons (Robotics Auton. Syst., 2015)

Performance Verification for Behavior-Based Robot Missions. - Damian M. Lyons; Ronald C. Arkin; Shu D. Jiang; Tsung-Ming Liu; Paramesh Nirmal (IEEE Trans. Robotics, 2015)