Taylor T Johnson

Taylor T Johnson

Vanderbilt University - Nashville / United States
Engineering & Technology / Electrical & Electronic Engineering
AD Scientific Index ID: 1325977
person_outline Taylor T Johnson's MOST POPULAR ARTICLES
1-) Output reachable set estimation and verification for multilayer neural networks IEEE Transactions on Neural Networks and Learning Systems (TNNLS) 29 (11 …, 2018
2-) NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems 32nd International Conference on Computer-Aided Verification (CAV), 2020
3-) Star-Based Reachability Analysis of Deep Neural Networks 23rd International Symposium on Formal Methods (FM), 2019
4-) Verification of Deep Convolutional Neural Networks Using ImageStars 32nd International Conference on Computer-Aided Verification (CAV), 2020
5-) Improved Geometric Path Enumeration for Verifying ReLU Neural Networks 32nd International Conference on Computer-Aided Verification (CAV), 2020