A mobile robot controller using reinforcement learning under scLTL specifications with uncertainties. Issue 6 (23rd November 2021)