Provably Safe Autonomous Backflip - UC Berkeley Submitted by Janos Sztipanovits on Tue, 08/30/2011 - 17:35 Aerospace Transportation Avionics Control Validation and Verification Certification Academia