Keywords: artificial intelligence; formal methods; reinforcement learning; robot control; task planning.