Yaping Jing

Papers

Total Citations

H-Index

About

Yaping Jing is a researcher at the forefront of formal methods and robotics, with a primary focus on the verification and performance evaluation of autonomous systems. Her key research areas include formal verification languages, mobile manipulation, and the integration of model checking with quantitative analysis. Jing’s most notable contribution is the development of the Computation Tree Measurement Language (CTML), a novel formal language that uniquely enables simultaneous model verification and performance evaluation—a significant advancement over traditional approaches that treat these tasks separately. Her seminal 2020 paper, "Formalizing Performance Evaluation of Mobile Manipulator Robots Using CTML," demonstrates the practical application of CTML on mobile manipulator robots, bridging the gap between theoretical formalism and real-world robotics. Though early in her career, this work has already garnered 3 citations, signaling growing interest from the formal methods and robotics communities. Jing’s research holds promise for enhancing the reliability and efficiency of autonomous systems, making her a rising voice in the field. Her work is particularly valuable for students and researchers seeking to understand how formal languages can be applied to complex, real-world robotic challenges.