Strategising RoboCup in Real Time with Uppaal Stratego. - Philip I. Holler; Magnus K. Jensen; Hannah Marie K. Lockey; Michele Albano (ICAART (1), 2021)

Comparison of Online Exploration and Coverage Algorithms in Continuous Space. - Malte Z. Andreasen; Philip I. Holler; Magnus K. Jensen; Michele Albano (ICAART (1), 2022)

MAES: a ROS 2-compatible simulation tool for exploration and coverage algorithms. - Malte Z. Andreasen; Philip I. Holler; Magnus K. Jensen; Michele Albano (Artif. Life Robotics, 2023)