– Master thesis (2024) “Indoor multi-task path planning for a wheeled mobile robot based on a hierarchical linear temporal logic approach”