When the execution method is done and tries to shut down actually no _stop() method of any handler is called, because all the handlers are none or an empty dict in the variable called self.proj.h_instance:
{'motionControl': None, 'locomotionCommand': None, 'pose': None, 'drive': None, 'init': {}, 'actuator': {}, 'sensor': {}}
When the execution method is done and tries to shut down actually no
_stop()method of any handler is called, because all the handlers are none or an empty dict in the variable calledself.proj.h_instance:{'motionControl': None, 'locomotionCommand': None, 'pose': None, 'drive': None, 'init': {}, 'actuator': {}, 'sensor': {}}Relevant line: https://github.com/VerifiableRobotics/LTLMoP/blob/b6cd72df9c80dfa88bd13987627ea764adad011d/src/lib/execute.py#L161