High-Level Multi-Robot Trajectory Planning And Spurious Behavior Detection
تقترح هذه الورقة إطار عمل يجمع بين نموذج توليد بيانات "الشبكات داخل الشبكات" (Nets-within-Nets) ومسار كشف عن الشذوذ قائم على تقنية "المحول" (Transformer) لتحديد السلوكيات الزائفة وضمان التنفيذ الموثوق للمهمات عالية المستوى المحددة بمنطق الزمن الخطي (LTL) في الأنظمة متعددة الروبوتات غير المتجانسة.