Cyber-Physical Systems | Ron Picard

July 7, 2021July 7, 2021

Test Flag Enterprise integrates autonomy into Orange Flag

https://www.aftc.af.mil/News/Article-Display/Article/2675938/test-flag-enterprise-integrates-autonomy-into-orange-flag/

May 5, 2021May 5, 2021

Skyborg ACS Has Successful First Flight

https://www.aflcmc.af.mil/News/Article-Display/Article/2596038/skyborg-acs-has-successful-first-flight/

November 3, 2019March 6, 2021

Formal Methods 101: Induction

October 21, 2019March 6, 2021

Formal Methods 101: Formal Systems

October 15, 2019March 6, 2021

Formal Methods 101: Decidability

October 8, 2019March 6, 2021

Formal Methods 101: Complexity Theory

October 8, 2019March 6, 2021

Formal Methods 101: Satisfiable Modulo Theories (SMT)

October 5, 2019March 6, 2021

Formal Methods 101: Boolean Satisfiability (SAT)

August 7, 2019March 31, 2021

Action Schema Neural Networks: Generalized Policies for Stochastic Planning Problems in the Wargaming Domain

May 3, 2019March 31, 2021

Particle Filter Speed Controller for a Closed-Loop Vehicle System