Synchronous and asynchronous multi-agent coordination with cLTL+ constraints | IEEE Conference Publication | IEEE Xplore