Thomas Grubbe Sandborg Lauritsen

According to our database, Thomas Grubbe Sandborg Lauritsen authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

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

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025