Towards Computationally Efficient NMPC Design with Stability Guarantee for Learning-Based Dynamic Models: A Case Study of UAVs | IEEE Conference Publication | IEEE Xplore