7 citations · 21 across the 11 of their papers we have counts for
11 papers
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…
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…
Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
Yuhang Chen, Chih-Hong Cheng, Jun Yan +1
While object detection modules are essential functionalities for any autonomous vehicle, the performance of such modules that are implemented using deep neural networks can be, in…
Testing Autonomous Systems with Believed Equivalence Refinement
Chih-Hong Cheng, Rongjie Yan
Continuous engineering of autonomous driving functions commonly requires deploying vehicles in road testing to obtain inputs that cause problematic decisions. Although the discover…
Continuous Safety Verification of Neural Networks
Chih-Hong Cheng, Rongjie Yan
Deploying deep neural networks (DNNs) as core functions in autonomous driving creates unique verification and validation challenges. In particular, the continuous engineering parad…
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…
A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
Saddek Bensalem, Lavindra de Silva, Félix Ingrand +1
Autonomous robots are complex systems that require the interaction and cooperation between numerous heterogeneous software components. In recent times, robots are being increasingl…
Distributed Priority Synthesis
Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem +1
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, t…
Distributed Priority Synthesis and its Applications
Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan +3
Given a set of interacting components with non-deterministic variable update and given safety requirements, the goal of priority synthesis is to restrict, by means of priorities, t…
Algorithms for Synthesizing Priorities in Component-based Systems
Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen +5
We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions. Our core me…