removed env deadlock
Merge branch 'fastslow_multiRobot' of https://github.com/wongkaiweng/LTLMoP into ijrr