TJ
Taylor T. Johnson
cs.LGcs.AIcs.SYeess.SYcs.CRcs.CVcs.ROcs.LOcs.DCcs.SE
On Valency
published · living versionsW_9zv6edxy·v1 · currentpublished
Assuring Learning-Enabled Cyber-Physical Systems with Foundation Models: A Neuro-Symbolic Agenda for Testing, Verification, and Runtime Assurance
with Xi Zheng, Ivan Ruchkin, Hong Jin Kang, Tevfik Bultan +9
1 version
Preprints & journals
60 papers in the corpus · 2012–2026INFUSE: A Unified Surface Benchmark for Indirect Prompt Injection in Agentic Systems2610.20776v1 · Thuy Dung Nguyen, Jingyi Guo, Rana Seda Dubauskas et al.2026 · 0 citationsarXiv
Safe Control of Semi-Explicit Differential-Algebraic Systems: Control Barrier Functions with SOS Verification2610.09634v1 · Mohamad H. Kazma, Hongchao Zhang, Abdallah A. Albustami et al.2026 · 0 citationsarXiv
Towards Verified and Targeted Explanations through Formal Methods2604.14209v1 · Hanchen David Wang, Diego Manzanas Lopez, Preston K. Robinette et al.2026 · 0 citationsarXiv
Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems2603.13509v2 · Hongchao Zhang, Mohamad H. Kazma, Meiyi Ma et al.2026 · 1 citationarXiv
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results2512.19007v1 · Konstantin Kaulen, Tobias Ladner, Stanley Bak et al.2025 · 4 citationsarXiv
Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network2509.11838v2 · Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez et al.2025 · 0 citationsarXiv
Combining LLMs with Logic-Based Framework to Explain MCTS2505.00610v1 · Ziyan An, Xia Wang, Hendrik Baier et al.2025 · 0 citationsarXiv
Blind Visible Watermark Removal with Morphological Dilation2502.02676v1 · Preston K. Robinette, Taylor T. Johnson2025 · 0 citationsarXiv
Neural Network Verification is a Programming Language Challenge2501.05867v2 · Lucas C. Cordeiro, Matthew L. Daggitt, Julien Girard-Satabin et al.2025 · 7 citationsESOP 2025
The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results2412.19985v1 · Christopher Brix, Stanley Bak, Taylor T. Johnson et al.2024 · 10 citationsarXiv
EditScout: Locating Forged Regions from Diffusion-based Edited Images with Multimodal LLM2412.03809v1 · Quang Nguyen, Truong Vu, Trong-Tung Nguyen et al.2024 · 0 citationsarXiv
PBP: Post-training Backdoor Purification for Malware Classifiers2412.03441v4 · Dung Thuy Nguyen, Ngoc N. Tran, Taylor T. Johnson et al.2024 · 5 citationsarXiv
Verification of Behavior Trees with Contingency Monitors2411.14162v1 · Serena S. Serbinowska, Nicholas Potteiger, Anne M. Tumlin et al.2024 · 0 citationsEPTCS 411, 2024, pp. 56-72
Formalizing Stateful Behavior Trees2411.14165v1 · Serena S. Serbinowska, Preston Robinette, Gabor Karsai et al.2024 · 4 citationsEPTCS 411, 2024, pp. 201-218
LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning2411.03231v3 · Dung Thuy Nguyen, Ziyan An, Taylor T. Johnson et al.2024 · 1 citationarXiv
PARDON: Privacy-Aware and Robust Federated Domain Generalization2410.22622v2 · Dung Thuy Nguyen, Taylor T. Johnson, Kevin Leach2024 · 0 citationsarXiv
Trigger-Based Fragile Model Watermarking for Image Transformation Networks2409.19442v1 · Preston K. Robinette, Dung T. Nguyen, Samuel Sasaki et al.2024 · 0 citationsarXiv
A New Hybrid Automaton Framework with Partial Differential Equation Dynamics2404.11900v1 · Tianshu Bao, Hengrong Du, Weiming Xiang et al.2024 · 0 citationsarXiv
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets2404.05703v1 · Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska et al.2024 · 3 citationsarXiv
Formal Logic Enabled Personalized Federated Learning Through Property Inference2401.07448v2 · Ziyan An, Taylor T. Johnson, Meiyi Ma2024 · 5 citationsarXiv
The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results2312.16760v1 · Christopher Brix, Stanley Bak, Changliu Liu et al.2023 · 9 citationsarXiv
Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes2312.16364v1 · Xia Wang, Anda Liang, Jonathan Sprinkle et al.2023 · 5 citationsarXiv
Online Reachability Analysis and Space Convexification for Autonomous Racing2311.09781v1 · Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez et al.2023 · 1 citationEPTCS 395, 2023, pp. 95-112
Formal Verification of Long Short-Term Memory based Audio Classifiers: A Star based Approach2311.12130v1 · Neelanjana Pal, Taylor T Johnson2023 · 0 citationsEPTCS 395, 2023, pp. 162-179
Sanitizing Hidden Information with Diffusion Models2310.06951v2 · Preston K. Robinette, Daniel Moyer, Taylor T. Johnson2023 · 4 citationsarXiv
SUDS: Sanitizing Universal and Dependent Steganography2309.13467v1 · Preston K. Robinette, Hanchen D. Wang, Nishan Shehadeh et al.2023 · 8 citationsarXiv
EduSAT: A Pedagogical Tool for Theory and Applications of Boolean Satisfiability2308.07890v1 · Yiqi Zhao, Ziyan An, Meiyi Ma et al.2023 · 0 citationsarXiv
Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input2307.13907v1 · Neelanjana Pal, Diego Manzanas Lopez, Taylor T Johnson2023 · 5 citationsarXiv
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)2301.05815v1 · Christopher Brix, Mark Niklas Muller, Stanley Bak et al.2023 · 69 citationsInternational Journal on Software Tools for Technology Transfer, 25 (2023) 329-339
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results2212.10376v2 · Mark Niklas Muller, Christopher Brix, Stanley Bak et al.2022 · 27 citationsarXiv
BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees2208.05360v2 · Serena S. Serbinowska, Taylor T. Johnson2022 · 11 citationsarXiv
Work In Progress: Safety and Robustness Verification of Autoencoder-Based Regression Models using the NNV Tool2207.06759v1 · Neelanjana Pal, Taylor T Johnson2022 · 1 citationEPTCS 361, 2022, pp. 79-88
Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach2207.08775v1 · Luan V. Nguyen, Wesam Haddad, Taylor T. Johnson2022 · 0 citationsEPTCS 361, 2022, pp. 9-23
Reachability Analysis of a General Class of Neural Ordinary Differential Equations2207.06531v1 · Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton et al.2022 · 16 citationsarXiv
Ablation Study of How Run Time Assurance Impacts the Training and Performance of Reinforcement Learning Agents2207.04117v1 · Nathaniel Hamilton, Kyle Dunlap, Taylor T Johnson et al.2022 · 7 citations2023 IEEE 9th International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2023, pp. 45-55
An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles2205.01419v1 · Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez et al.2022 · 1 citationarXiv
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results2109.00498v1 · Stanley Bak, Changliu Liu, Taylor Johnson2021 · 41 citationsarXiv
Neural Network Repair with Reachability Analysis2108.04214v1 · Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran et al.2021 · 23 citationsarXiv
Reachability Analysis of Convolutional Neural Networks2106.12074v1 · Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran et al.2021 · 2 citationsarXiv
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.32452771 · Xiang, Weiming, Tran, Hoang-Dung, Yang, Xiaodong et al.2021 · 80 citationsIEEE transactions on neural networks and learning systems. 2021;32(5):1821-1830
Verification of Deep Convolutional Neural Networks Using ImageStars2004.05511v2 · Hoang-Dung Tran, Stanley Bak, Weiming Xiang et al.2020 · 124 citationsarXiv
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems2004.05519v1 · Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez et al.2020 · 243 citationsarXiv
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices2003.01226v1 · Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang et al.2020 · 9 citationsarXiv
Dynamic Mode Decomposition for Continuous Time Systems with the Liouville Operator1910.03977v2 · Joel A. Rosenfeld, Rushikesh Kamalapurkar, L. Forest Gruss et al.2019 · 43 citationsarXiv
The Occupation Kernel Method for Nonlinear System Identification1909.11792v3 · Joel A. Rosenfeld, Benjamin Russo, Rushikesh Kamalapurkar et al.2019 · 22 citationsarXiv
Real-Time Verification for Distributed Cyber-Physical Systems1909.09087v1 · Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau et al.2019 · 4 citationsarXiv
Specification-Guided Safety Verification for Feedforward Neural Networks1812.06161v1 · Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson2018 · 14 citationsarXiv
Verification for Machine Learning, Autonomy, and Neural Networks Survey1810.01989v1 · Weiming Xiang, Patrick Musau, Ayana A. Wild et al.2018 · 91 citationsarXiv
Cyber-Physical Specification Mismatches1806.09224v1 · Luan V. Nguyen, Khaza Anuarul Hoque, Stanley Bak et al.2018 · 0 citationsarXiv
Reachability Analysis and Safety Verification for Neural Network Control Systems1805.09944v1 · Weiming Xiang, Taylor T. Johnson2018 · 42 citationsarXiv
Career total: 213 works. 60 are in this corpus.Showing the 50 most recent.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.