Taylor T Johnson
Vanderbilt University
H-index: 32
North America-United States
Top articles of Taylor T Johnson
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Formal Logic Enabled Personalized Federated Learning Through Property Inference | arXiv preprint arXiv:2401.07448 | Ziyan An Taylor T Johnson Meiyi Ma | 2024/1/15 |
A New Hybrid Automaton Framework with Partial Differential Equation Dynamics | arXiv preprint arXiv:2404.11900 | Tianshu Bao Hengrong Du Weiming Xiang Taylor T Johnson | 2024/4/18 |
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets | arXiv preprint arXiv:2404.05703 | Preston K Robinette Diego Manzanas Lopez Serena Serbinowska Kevin Leach Taylor T Johnson | 2024/4/8 |
Decentralized Safe Control for Distributed Cyber-Physical Systems using Real-time Reachability Analysis | IEEE Transactions on Control of Network Systems | Luan Viet Nguyen Hoang-Dung Tran Taylor Johnson Vijay Gupta | 2023/1/24 |
Ablation study of how run time assurance impacts the training and performance of reinforcement learning agents | Nathaniel Hamilton Kyle Dunlap Taylor T Johnson Kerianne L Hobbs | 2023 | |
Monsters in the Dark: Sanitizing Hidden Threats with Diffusion Models | arXiv preprint arXiv:2310.06951 | Preston K Robinette Daniel Moyer Taylor T Johnson | 2023/10/10 |
Benchmark: formal verification of semantic segmentation neural networks | Neelanjana Pal Seojin Lee Taylor T Johnson | 2023/10/23 | |
Evaluation of neural network verification methods for air-to-air collision avoidance | Journal of Air Transportation | Diego Manzanas Lopez Taylor T Johnson Stanley Bak Hoang-Dung Tran Kerianne L Hobbs | 2023/1 |
NNV 2.0: the neural network verification tool | Diego Manzanas Lopez Sung Woo Choi Hoang-Dung Tran Taylor T Johnson | 2023/7/17 | |
SUDS: Sanitizing universal and dependent steganography | Preston K Robinette Hanchen D Wang Nishan Shehadeh Daniel Moyer Taylor T Johnson | 2023/9/23 | |
Track C1: Safety Verification of Deep Neural Networks (DNNs) | Daniel Neider Taylor T Johnson | 2023/10/23 | |
The fourth international verification of neural networks competition (vnn-comp 2023): Summary and results | arXiv preprint arXiv:2312.16760 | Christopher Brix Stanley Bak Changliu Liu Taylor T Johnson | 2023/12/28 |
First three years of the international verification of neural networks competition (VNN-COMP) | International Journal on Software Tools for Technology Transfer | Christopher Brix Mark Niklas Müller Stanley Bak Taylor T Johnson Changliu Liu | 2023/6 |
Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy | Hoang-Dung Tran Diego Manzanas Lopez Taylor Johnson | 2023/9/17 | |
Benchmark: neural network malware classification | Preston K Robinette Diego Manzanas Lopez Taylor T Johnson | 2023/10/23 | |
Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes | arXiv preprint arXiv:2312.16364 | Xia Wang Anda Liang Jonathan Sprinkle Taylor T Johnson | 2023/12/27 |
Self-Preserving Genetic Algorithms for Safe Learning in Discrete Action Spaces | Preston K Robinette Nathaniel P Hamilton Taylor T Johnson | 2023/5/9 | |
Robustness verification of deep neural networks using star-based reachability analysis with variable-length time series input | Neelanjana Pal Diego Manzanas Lopez Taylor T Johnson | 2023/9/17 | |
Empirical analysis of benchmark generation for the verification of neural network image classifiers | Diego Manzanas Lopez Taylor T Johnson | 2023/10/23 | |
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach | arXiv preprint arXiv:2311.12130 | Neelanjana Pal Taylor T Johnson | 2023/11/16 |