Picture for Taylor T Johnson

Taylor T Johnson

Institute for Software Integrated Systems, Vanderbilt University

Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach

Add code
Nov 16, 2023
Viaarxiv icon

Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input

Add code
Jul 26, 2023
Viaarxiv icon

Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool

Add code
Jul 14, 2022
Figure 1 for Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
Figure 2 for Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
Figure 3 for Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
Figure 4 for Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool
Viaarxiv icon

Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents

Add code
Jul 08, 2022
Figure 1 for Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Figure 2 for Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Figure 3 for Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Figure 4 for Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents
Viaarxiv icon

Neural Network Repair with Reachability Analysis

Add code
Aug 09, 2021
Figure 1 for Neural Network Repair with Reachability Analysis
Figure 2 for Neural Network Repair with Reachability Analysis
Figure 3 for Neural Network Repair with Reachability Analysis
Figure 4 for Neural Network Repair with Reachability Analysis
Viaarxiv icon

Reachability Analysis of Convolutional Neural Networks

Add code
Jun 22, 2021
Figure 1 for Reachability Analysis of Convolutional Neural Networks
Figure 2 for Reachability Analysis of Convolutional Neural Networks
Figure 3 for Reachability Analysis of Convolutional Neural Networks
Figure 4 for Reachability Analysis of Convolutional Neural Networks
Viaarxiv icon