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

Browse the full SEFM paper archive.