3 papers
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.SE2025
Testing Autonomous Driving Systems -- What Really Matters and What Doesn't
Changwen Li, Joseph Sifakis, Rongjie Yan +1
Despite extensive research, the testing of autonomous driving systems (ADS) landscape remains fragmented, and there is currently no basis for an informed technical assessment of th…
cs.SE2025
A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard
Changwen Li, Joseph Sifakis, Rongjie Yan +1
End-to-end AI autopilots for autonomous driving systems have emerged as a promising alternative to traditional modular autopilots, offering the potential to reduce development cost…