Proud to be leading this work.
https://www.edwards.af.mil/News/Article/2714183/nf-16d-vista-becomes-x-62a/
NF-16D VISTA BECOMES X-62A
Test Flag Enterprise integrates autonomy into Orange Flag
Skyborg ACS Has Successful First Flight
Formal Methods 101: Induction
Formal Methods 101: Formal Systems
Formal Methods 101: Decidability
Formal Methods 101: Complexity Theory
Formal Methods 101: Satisfiable Modulo Theories (SMT)
Formal Methods 101: Boolean Satisfiability (SAT)
Action Schema Neural Networks: Generalized Policies for Stochastic Planning Problems in the Wargaming Domain
