Modeling and Simulation of Autonomous Thermal Soaring with Horizon Simulation Framework