Picture for Vahid Hashemi

Vahid Hashemi

A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions

Add code
Oct 11, 2024
Figure 1 for A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions
Figure 2 for A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions
Figure 3 for A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions
Figure 4 for A Systematic Review of Edge Case Detection in Automated Driving: Methods, Challenges and Future Directions
Viaarxiv icon

Autonomous Vehicles Path Planning under Temporal Logic Specifications

Add code
Oct 10, 2024
Viaarxiv icon

Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces

Add code
Oct 08, 2024
Viaarxiv icon

AGNES: Abstraction-guided Framework for Deep Neural Networks Security

Add code
Nov 07, 2023
Viaarxiv icon

Causal Analysis for Robust Interpretability of Neural Networks

Add code
May 15, 2023
Figure 1 for Causal Analysis for Robust Interpretability of Neural Networks
Figure 2 for Causal Analysis for Robust Interpretability of Neural Networks
Figure 3 for Causal Analysis for Robust Interpretability of Neural Networks
Figure 4 for Causal Analysis for Robust Interpretability of Neural Networks
Viaarxiv icon

Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks

Add code
Dec 15, 2022
Figure 1 for Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
Figure 2 for Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
Figure 3 for Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
Figure 4 for Runtime Monitoring for Out-of-Distribution Detection in Object Detection Neural Networks
Viaarxiv icon

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining

Add code
Dec 14, 2022
Viaarxiv icon

DeepAbstract: Neural Network Abstraction for Accelerating Verification

Add code
Jun 24, 2020
Figure 1 for DeepAbstract: Neural Network Abstraction for Accelerating Verification
Figure 2 for DeepAbstract: Neural Network Abstraction for Accelerating Verification
Figure 3 for DeepAbstract: Neural Network Abstraction for Accelerating Verification
Figure 4 for DeepAbstract: Neural Network Abstraction for Accelerating Verification
Viaarxiv icon

Towards Safety Verification of Direct Perception Neural Networks

Add code
Apr 09, 2019
Figure 1 for Towards Safety Verification of Direct Perception Neural Networks
Figure 2 for Towards Safety Verification of Direct Perception Neural Networks
Viaarxiv icon

Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters

Add code
Oct 20, 2017
Figure 1 for Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
Figure 2 for Multi-Objective Approaches to Markov Decision Processes with Uncertain Transition Parameters
Viaarxiv icon