Author Info
Name
Affiliation
Papers
JONATHAN A. HOFFMAN
Air Force Research Laboratory, Ohio
4
Collaborators
Citations 
PageRank 
9
8
1.66
Referers 
Referees 
References 
32
96
32
Title
Citations
PageRank
Year
Run-Time Assurance and Formal Methods Analysis Nonlinear System Applied to Nonlinear System Control.10.382017
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements.40.452017
Incremental Formal Methods Based Design Approach Demonstrated on a Coupled Tanks Control System30.482016
Design and analysis of a multistage fuzzy PID controller00.342015