How to do Multi-robot task planning?

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.

http://ltlmop.github.io

GNU General Public License v3.0

56 stars 70 forks source link

Open GuangyaoSHI opened 5 years ago

GuangyaoSHI commented 5 years ago

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