Picture for Rongjie Yan

Rongjie Yan

Runtime Monitoring DNN-Based Perception

Add code
Oct 06, 2023
Viaarxiv icon

ComOpT: Combination and Optimization for Testing Autonomous Driving Systems

Add code
Oct 02, 2021
Figure 1 for ComOpT: Combination and Optimization for Testing Autonomous Driving Systems
Figure 2 for ComOpT: Combination and Optimization for Testing Autonomous Driving Systems
Figure 3 for ComOpT: Combination and Optimization for Testing Autonomous Driving Systems
Figure 4 for ComOpT: Combination and Optimization for Testing Autonomous Driving Systems
Viaarxiv icon

Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions

Add code
Mar 29, 2021
Figure 1 for Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
Figure 2 for Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
Figure 3 for Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
Figure 4 for Monitoring Object Detection Abnormalities via Data-Label and Post-Algorithm Abstractions
Viaarxiv icon

Testing Autonomous Systems with Believed Equivalence Refinement

Add code
Mar 08, 2021
Figure 1 for Testing Autonomous Systems with Believed Equivalence Refinement
Figure 2 for Testing Autonomous Systems with Believed Equivalence Refinement
Figure 3 for Testing Autonomous Systems with Believed Equivalence Refinement
Figure 4 for Testing Autonomous Systems with Believed Equivalence Refinement
Viaarxiv icon

Continuous Safety Verification of Neural Networks

Add code
Oct 12, 2020
Figure 1 for Continuous Safety Verification of Neural Networks
Figure 2 for Continuous Safety Verification of Neural Networks
Figure 3 for Continuous Safety Verification of Neural Networks
Figure 4 for Continuous Safety Verification of Neural Networks
Viaarxiv icon

Architecting Dependable Learning-enabled Autonomous Systems: A Survey

Add code
Feb 27, 2019
Figure 1 for Architecting Dependable Learning-enabled Autonomous Systems: A Survey
Figure 2 for Architecting Dependable Learning-enabled Autonomous Systems: A Survey
Figure 3 for Architecting Dependable Learning-enabled Autonomous Systems: A Survey
Figure 4 for Architecting Dependable Learning-enabled Autonomous Systems: A Survey
Viaarxiv icon

A Verifiable and Correct-by-Construction Controller for Robot Functional Levels

Add code
Sep 02, 2013
Figure 1 for A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
Figure 2 for A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
Figure 3 for A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
Figure 4 for A Verifiable and Correct-by-Construction Controller for Robot Functional Levels
Viaarxiv icon