Announcement_1

Our latest publication “A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems” is now available. You can have a look here