GitHub repository: GameMonkey/Reinforcement-Learning-for-Drone-Navigation-and-Pump-Localization
Description: Exploring Unknown Environments with UPPAAL STRATEGO: Reinforcement Learning for Drone Navigation and Pump Localization