Category: Jennifer Davis

Enhancing Autonomy with Trusted Cognitive Modeling

S. Bhattacharyya
Jennifer A. Davis
Thomas L. Vogl
Matthew A. Fix
Angus L. McLean
Michael P. Matessa
Laura M. Smith-Velazquez

SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements

Aaron W. Fifarek
Lucas G. Wagner
Erika R. Hoffman
Benjamin D. Rodes
M. Anthony Aiello
Jennifer A. Davis

Study on the Barriers to the Industrial Adoption of Formal Methods

Jennifer A. Davis
Matthew Clark
Darren D. Cofer
Aaron Fifarek
Jacob Hinchman
Jonathan Hoffman
Brian Hulbert
Steven P. Miller
Lucas G. Wagner