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
Viaarxiv icon

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

Add code
Dec 15, 2022
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