1 citations · 1 across the 7 of their papers we have counts for
Showing cs.ROShow all
2 papers · 1 filter
cs.RO2026
Validating Generalist Robots with Situation Calculus and STL Falsification
Changwen Li, Rongjie Yan, Chih-Hong Cheng +1
Generalist robots are becoming a reality, capable of interpreting natural language instructions and executing diverse operations. However, their validation remains challenging beca…
cs.RO2021
ComOpT: Combination and Optimization for Testing Autonomous Driving Systems
Changwen Li, Chih-Hong Cheng, Tiantian Sun +2
ComOpT is an open-source research tool for coverage-driven testing of autonomous driving systems, focusing on planning and control. Starting with (i) a meta-model characterizing di…