F. Tang

Papers

Total Citations

H-Index

About

F. Tang is a researcher focused on robotics and autonomous systems, particularly in the domain of safe and reliable robot operation under uncertainty. Their key contributions lie in developing formal verification methods for robot missions, ensuring that autonomous systems can perform tasks correctly even in unpredictable environments. Tang's most-cited work, "Performance verification for robot missions in uncertain environments" (2017), has garnered 12 citations and addresses critical challenges in guaranteeing mission success despite environmental variability and sensor noise. This research bridges the gap between theoretical formal methods and practical robotic applications, offering tools to verify performance metrics such as safety and task completion. Tang's work is notable for its emphasis on probabilistic verification, which quantifies the likelihood of mission success—a vital consideration for deploying robots in real-world scenarios like search-and-rescue or autonomous navigation. By tackling the intersection of robotics, formal verification, and uncertainty quantification, Tang has contributed foundational insights that support the development of trustworthy autonomous systems. Their research continues to influence engineers and researchers seeking to build robots that can operate dependably in complex, unpredictable settings.