Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms | IEEE Conference Publication | IEEE Xplore