Synthesizing Secure Reactive Controller for Unmanned Aerial System | IEEE Conference Publication | IEEE Xplore