In Hadas's paper (2009), she mentioned the scenario for multi-agent task planning. I wonder whether we can do that using LTLMoP?