Publications by authors named "Taylor T Johnson"

Claim this Profile
R
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T Johnson

IEEE Trans Neural Netw Learn Syst· May 2021

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
O
Output Reachable Set Estimation and Verification for Multilayer Neural Networks.
Weiming Xiang, Hoang-Dung Tran, Taylor T Johnson

IEEE Trans Neural Netw Learn Syst· November 2018

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis
G
Guided search for hybrid systems based on coarse-grained space abstractions.
Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T Johnson

Int J Softw Tools Technol Transf· August 2015

Social Media Activity not collected for this article yet.

Sign Up to Request Social Media Analysis