6 citations · 6 across the 4 of their papers we have counts for
4 papers
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…
Runtime Monitoring DNN-Based Perception
Chih-Hong Cheng, Michael Luttenberger, Rongjie Yan
Deep neural networks (DNNs) are instrumental in realizing complex perception systems. As many of these applications are safety-critical by design, engineering rigor is required to…
Simulation-based Validation for Autonomous Driving Systems
Changwen Li, Joseph Sifakis, Qiang Wang +2
Simulation is essential to validate autonomous driving systems. However, a simple simulation, even for an extremely high number of simulated miles or hours, is not sufficient. We n…
Formal Consistency Checking over Specifications in Natural Languages
Rongjie Yan, Chih-Hong Cheng, Guangquan Zhang +1
Early stages of system development involve outlining desired features such as functionality, availability, or usability. Specifications are derived from these features that concret…