Registered user since Tue 19 Dec 2017
Name:Taylor T Johnson
Country:United States
Affiliation:Vanderbilt University
Personal website:http://www.TaylorTJohnson.com
Research interests:formal methods, cyber-physical systems, real-time systems, software engineering, distributed systems
Contributions
| FormaliSE 2019 | Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2019-profile
View general profile
View general profile