Abstract Generera verifierbart korrekta exekveringsstrategier från Linear Temporal Logic (LTL) uppdragsspecifikationer undviker behovet av manuellt utformade robotbeteenden. Men när man integrerar ett team av robotagenter blir den ytterligare modellens komplexitet en kritisk fråga. Med tanke på ett enda begränsat LTL-uppdrag och ett team av robotar föreslår vi ett automatiserat tillvägagångssätt för att automatiskt identifiera möjliga nedbrytningar av LTL-specifikationen i uppsättningar av självständigt körbara uppgiftsspecifikationer. Vår strategi leder direkt till konstruktion av en teammodell med betydligt lägre komplexitet än andra representationer konstruerade med konventionella metoder. Därmed möjliggör det effektiv sökning efter en optimal nedbrytning och fördelning av uppgifter till robotagenterna.
I vårt tidigare arbete REF föreslog vi ett tillvägagångssätt för att automatiskt identifiera alla möjliga sönderdelningsval av en specifikation i oberoende uppgifter.
Decomposition of Finite LTL Specifications for Efficient Multi-agent Planning
{'venue': 'DARS', 'journal': None, 'mag_field_of_study': ['Computer Science']}