7 citations · 21 across the 11 of their papers we have counts for
3 papers · 1 filter
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…
Architecting Dependable Learning-enabled Autonomous Systems: A Survey
Chih-Hong Cheng, Dhiraj Gulati, Rongjie Yan
We provide a summary over architectural approaches that can be used to construct dependable learning-enabled autonomous systems, with a focus on automated driving. We consider thre…
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…