From the 1 of 4 linked papers with an AI index.
4 papers
Hierarchical Fault Localization for Autonomous Driving Systems with Hypothesis Validation and Intent Analysis
Rui Zheng, Changwen Li, Yi Ji +1
The paper introduces HINT, a two-phase framework that locates faults in autonomous driving software by first identifying the problematic module using causal reasoning on execution…
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…
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…
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…