Taylor T. Johnson

Identifiers

• name variant Taylor T. Johnson 0.60 · backfill

Papers (18)

1. Power System CBFs eess.SY · 2026 · author #3
2. Modeling Spectral Energy Shifts in Spatio-Temporal Graph Anomaly Detection cs.LG · 2026 · author #3
3. k-Inductive Neural Barrier Certificates for Unknown Nonlinear Dynamics eess.SY · 2026 · author #3
4. Reward Shaping and Action Masking for Compositional Tasks using Behavior Trees and LLMs cs.LG · 2026 · author #3
5. Towards Verified and Targeted Explanations through Formal Methods cs.LG · 2026 · author #5
6. Specification-Guided Safety Verification for Feedforward Neural Networks cs.LG · 2018 · author #3
7. Verification for Machine Learning, Autonomy, and Neural Networks Survey cs.AI · 2018 · author #8
8. Cyber-Physical Specification Mismatches cs.SY · 2018 · author #5
9. Reachability Analysis and Safety Verification for Neural Network Control Systems cs.SY · 2018 · author #2
10. Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations cs.SC · 2018 · author #4
11. Numerical Verification of Affine Systems with up to a Billion Dimensions cs.NA · 2018 · author #3
12. Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers cs.SY · 2018 · author #4
13. Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems cs.SY · 2018 · author #4
14. Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations cs.LG · 2017 · author #3
15. Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks cs.LG · 2017 · author #3
16. Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems cs.SY · 2016 · author #4
17. Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter cs.DC · 2014 · author #2
18. Safe and Stabilizing Distributed Multi-Path Cellular Flows cs.RO · 2012 · author #1

Mentions

• 1806.09224 #5 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1805.09944 #2 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1804.03227 #4 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1804.01583 #3 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1802.06981 #4 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1802.03557 #4 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1602.06417 #4 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1404.2259 #2 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1209.2058 #1 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 2606.02949 #3 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 2606.00304 #3 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1404.2259 #2 · backfill · confidence 0.70 Taylor T. Johnson
• 2605.05795 #3 · arxiv_oai · confidence 0.70 Taylor T. Johnson
• 1209.2058 #1 · backfill · confidence 0.70 Taylor T. Johnson
• 2605.20108 #3 · arxiv_oai · confidence 0.70 Taylor T. Johnson

Frequent Coauthors

• Weiming Xiang 9 shared papers
• Hoang-Dung Tran 7 shared papers
• Diego Manzanas Lopez 3 shared papers
• Ahmad F. Taha 2 shared papers
• Hongchao Zhang 2 shared papers
• Luan Viet Nguyen 2 shared papers
• Meiyi Ma 2 shared papers
• Nathaniel Hamilton 2 shared papers
• Patrick Musau 2 shared papers
• Stanley Bak 2 shared papers
• Abdallah Alalem B. Albustami 1 shared papers
• Abolfazl Lavaei 1 shared papers
• Ankita Samaddar 1 shared papers
• Ayana A. Wild 1 shared papers
• Ben Wooding 1 shared papers
• Hanchen David Wang 1 shared papers
• Ipek Oguz 1 shared papers
• Joel A. Rosenfeld 1 shared papers
• Joel Rosenfeld 1 shared papers
• Khaza Anuarul Hoque 1 shared papers