Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
यह शोध पत्र आवर्ती लीनियर टेम्पोरल लॉजिक (Linear Temporal Logic) कार्यों के तहत मल्टी-रोबोट समन्वय के लिए एक स्केलेबल, बॉटम-अप फ्रेमवर्क प्रस्तुत करता है जो एक्शन विलंब (action delays) को संभालने के लिए ऑफलाइन प्लान सिंथेसिस को ऑनलाइन सिंक्रोनाइज़ेशन के साथ जोड़ता है, जिसे नब्बे रोबोटों तक के व्यापक सिमुलेशन और वास्तविक दुनिया के प्रयोगों के माध्यम से सत्यापित किया गया है।