Picture for James Sharp

James Sharp

Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features

Add code
Mar 05, 2021
Figure 1 for Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Figure 2 for Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Figure 3 for Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Figure 4 for Abstraction and Symbolic Execution of Deep Neural Networks with Bayesian Approximation of Hidden Features
Viaarxiv icon

Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics

Add code
Oct 16, 2020
Figure 1 for Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
Figure 2 for Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
Figure 3 for Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
Figure 4 for Formal Verification of Robustness and Resilience of Learning-Enabled State Estimation Systems for Robotics
Viaarxiv icon

A Safety Framework for Critical Systems Utilising Deep Neural Networks

Add code
Mar 07, 2020
Figure 1 for A Safety Framework for Critical Systems Utilising Deep Neural Networks
Figure 2 for A Safety Framework for Critical Systems Utilising Deep Neural Networks
Figure 3 for A Safety Framework for Critical Systems Utilising Deep Neural Networks
Figure 4 for A Safety Framework for Critical Systems Utilising Deep Neural Networks
Viaarxiv icon

Reliability Validation of Learning Enabled Vehicle Tracking

Add code
Feb 06, 2020
Figure 1 for Reliability Validation of Learning Enabled Vehicle Tracking
Figure 2 for Reliability Validation of Learning Enabled Vehicle Tracking
Figure 3 for Reliability Validation of Learning Enabled Vehicle Tracking
Figure 4 for Reliability Validation of Learning Enabled Vehicle Tracking
Viaarxiv icon

Test Metrics for Recurrent Neural Networks

Add code
Nov 05, 2019
Figure 1 for Test Metrics for Recurrent Neural Networks
Figure 2 for Test Metrics for Recurrent Neural Networks
Figure 3 for Test Metrics for Recurrent Neural Networks
Figure 4 for Test Metrics for Recurrent Neural Networks
Viaarxiv icon

testRNN: Coverage-guided Testing on Recurrent Neural Networks

Add code
Jun 20, 2019
Figure 1 for testRNN: Coverage-guided Testing on Recurrent Neural Networks
Figure 2 for testRNN: Coverage-guided Testing on Recurrent Neural Networks
Figure 3 for testRNN: Coverage-guided Testing on Recurrent Neural Networks
Figure 4 for testRNN: Coverage-guided Testing on Recurrent Neural Networks
Viaarxiv icon