Exploring Unknown Environments with Uppaal Stratego: Safe Reinforcement Learning for Navigation and Pump Localization. - Magnus Kallestrup Axelsen; Martin Kristjansen; Kim Guldstrand Larsen; Thomas Grubbe Sandborg Lauritsen (SEFM, 2025)