Taylor T. Johnson

Vanderbilt University, University of Illinois Urbana-Champaign, The University of Texas at Arlington

Papers

11

Total Citations

497

H-Index

8

About

No biography available yet.

Research Focus

Computer science11 · 497 citations
Algorithm7 · 471 citations
Artificial intelligence9 · 468 citations
Artificial neural network5 · 437 citations
Set (abstract data type)5 · 437 citations
Perceptron4 · 388 citations
Engineering5 · 322 citations
Mathematics3 · 313 citations
Convex optimization2 · 304 citations
Monotonic function2 · 304 citations
Mathematical optimization2 · 304 citations
Regular polygon2 · 304 citations

Key Achievements

8
H-Index
11
Papers
497
Total Citations
45
Avg Citations/Paper
🏆 Most Cited Paper
Output Reachable Set Estimation and Verification for Multilayer Neural Networks
270 citations · 2018
📈 Most Prolific Year: 2020 (3 Papers)
🤝 Key Collaborators: 25
🏛 Institutions: Vanderbilt University, University of Illinois Urbana-Champaign, The University of Texas at Arlington

Top Papers

  1. 1
    Output Reachable Set Estimation and Verification for Multilayer Neural Networks
    270 citations · 2018
  2. 2
    Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach
    80 citations · 2020
  3. 3
    Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
    49 citations · 2019
  4. 4
    Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks
    34 citations · 2017
  5. 5
    Static and Dynamic Analysis of Timed Distributed Traces
    25 citations · 2012
  6. 6
    Large-Scale Linear Systems from Order-Reduction
    9 citations · 2018
  7. 7
    BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees
    8 citations · 2022
  8. 8
    Sonic to knuckles: Evaluations on transfer reinforcement learning
    8 citations · 2020
  9. 9
    Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP
    6 citations · 2016
  10. 10
    Formalizing Stateful Behavior Trees
    4 citations · 2024

Key Collaborators

HTHoang-Dung Tran7 shared papersWXWeiming Xiang6 shared papersXYXiaodong Yang3 shared papersLVLuan Viet Nguyen3 shared papersSSSerena S. Serbinowska2 shared papersSMSayan Mitra2 shared papersPSParasara Sridhar Duggirala2 shared papersAZAdam Zimmerman1 shared papersTJTodd Jenkins1 shared papersMPMatthew Potok1 shared papersCSChristian Schilling1 shared papersASAndrew Sogokon1 shared papersGKGábor Karsai1 shared papersCFChuchu Fan1 shared papersSBSergiy Bogomolov1 shared papersMVMahesh Viswanathan1 shared papersPKPreston K. Robinette1 shared papersNHNathaniel Hamilton1 shared papersLSLena Schlemmer1 shared papersCMChristopher Menart1 shared papers
Not generated yet