U.S. Air Force Research Laboratory taps PiLogic to Explore Smarter, Safer Satellite Systems with Exact AI