Abstract: The reliability of control algorithms for Unmanned Aerial Vehicles (UAVs) is a critical step in the development process, especially when transitioning from simulation to real implementation.