Taylor T. Johnson

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

论文数

11

总引用数

497

H-Index

8

关于

暂无简介。

研究焦点

Computer science11 · 497 次引用

Algorithm7 · 471 次引用

Artificial intelligence9 · 468 次引用

Artificial neural network5 · 437 次引用

Set (abstract data type)5 · 437 次引用

Perceptron4 · 388 次引用

Engineering5 · 322 次引用

Mathematics3 · 313 次引用

Convex optimization2 · 304 次引用

Monotonic function2 · 304 次引用

Mathematical optimization2 · 304 次引用

Regular polygon2 · 304 次引用

主要成就

8

H 指数

11

论文

497

总引用数

45

篇均引用

🏆 最高被引论文

Output Reachable Set Estimation and Verification for Multilayer Neural Networks

270 次引用 · 2018

📈 最高产年份: 2020 (3 论文)

🤝 主要合作者: 25

🏛 所属机构: Vanderbilt University, University of Illinois Urbana-Champaign, The University of Texas at Arlington

代表论文

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

尚未生成