💻 computer science

Module checking of pushdown multi-agent systems

تثبت هذه الورقة أن التحقق من الوحدات لأنظمة الوكلاء المتعددين ذات المكدس هو مسألة كاملة من فئة 2EXPTIME بالنسبة لمواصفات ATL، ولكنه مسألة كاملة من فئة 4EXPTIME بالنسبة لمواصفات *ATL، مما يمثل حالة نادرة لمسألة قرار أولية تتجاوز تعقيدها الزمن الأسي الثلاثي.

Laura Bozzelli, Aniello Murano, Adriano Peron2026-03-11
💻 computer science

Causal Graph Dynamics and Kan Extensions

تُثبت هذه الورقة أن ديناميكيات المخطط السببي، التي تصف التحولات المتزامنة والحتمية لمخططات المنافذ، يمكن صياغتها بدقة ضمن صياغة التحولات العالمية من خلال التعبير عنها كاستطالات "كان" (Kan extensions)، مما يكشف عن عالمية ديناميكيات المخطط السببي الرتيبة بين الديناميكيات العامة.

Luidnel Maignan, Antoine Spicher2026-03-11
🤖 machine learning

Learning responsibility allocations for multi-agent interactions: A differentiable optimization approach with control barrier functions

تقترح هذه الورقة إطار عمل يعتمد على البيانات يجمع بين دالات حاجز التحكم والتحسين القابل للتفاضل لتعلم تخصيصات مسؤولة قابلة للتفسير، مما يمكّن الوكلاء المستقلين من قياس وتعديل سلوكياتهم من أجل تفاعلات متعددة الوكلاء آمنة ومدركة اجتماعياً.

Isaac Remy, David Fridovich-Keil, Karen Leung2026-03-11
🤖 machine learning

Personalized Collaborative Learning with Affinity-Based Variance Reduction

تقدم هذه الورقة البحثية AffPCL، وهو إطار عمل للتعلم التعاوني الشخصي يستخدم تقليل التباين القائم على الألفة للتكيف تلقائياً مع عدم التجانس المجهول بين الوكلاء، محققاً تحسينات في تعقيد العينات تتداخل بسلاسة بين التعلم المستقل والتسريع الخطي دون الحاجة إلى معرفة مسبقة بتشابه النظام.

Chenyu Zhang, Navid Azizan2026-03-11
💻 computer science

Polynomial-time Configuration Generator for Connected Unlabeled Multi-Agent Pathfinding

تتناول هذه الورقة مشكلة مسارات الوكلاء المتعددين غير المتصلة وغير المصنفة (CUMAPF) من خلال تقديم خوارزمية PULL، وهي خوارزمية خفيفة الوزن وكاملة تعمل بزمن قدره O(n2)O(n^2) لكل خطوة، وتتفوق على كل من نهج البرمجة الخطية الصحيحة والأساليب البدائية في قابلية التوسع والكفاءة لتطبيقات روبوتات السرب.

Takahiro Suzuki, Keisuke Okumura2026-03-11
🤖 AI

Multi-Agent Reinforcement Learning with Communication-Constrained Priors

تقترح هذه الورقة إطار عمل لتعلم تعزيزي متعدد الوكلاء مقيد بالاتصالات، يستخدم نموذجاً عاماً ومقدِّراً مزدوجاً للمعلومات المتبادلة للتمييز بين الرسائل الفاقدة للمعلومات والرسائل غير الفاقدة لها، وبالتالي قياس تأثيرها على المكافآت العالمية لتعزيز تعلم السياسة التعاونية في البيئات المعقدة والديناميكية.

Guang Yang, Tianpei Yang, Jingwen Qiao, Yanqing Wu, Jing Huo, Xingguo Chen, Yang Gao2026-03-11
💻 computer science

Algorithmic Collusion at Test Time: A Meta-game Design and Evaluation

تقدم هذه الورقة إطار عمل للعبة ميتا لتقييم ظهور التواطؤ الخوارزمي تحت قيود وقت الاختبار من خلال نمذجة الوكلاء بسياسات مدربة مسبقاً وقواعد تكيّف، مما يكشف كيف تؤثر الخيارات العقلانية والتكيف المشترك على النتائج التعاونية أو التنافسية عبر ألعاب تسعير متكررة عبر استراتيجيات خوارزمية متنوعة.

Yuhong Luo, Daniel Schoepflin, Xintong Wang2026-03-11
💻 computer science

Electoral Systems Simulator: An Open Framework for Comparing Electoral Mechanisms Across Voter Distribution Scenarios

تقدم هذه الورقة البحثية \texttt{electoral\_sim}، وهو إطار عمل مفتوح المصدر بلغة بايثون يحاكي ويقارن بين مختلف الأنظمة الانتخابية عبر توزيعات متنوعة لتفضيلات الناخبين باستخدام المسافة الإقليدية إلى الوسيط الهندسي كمقياس أداء رئيسي، بما في ذلك معيار مرجعي نظري مبتكر يعتمد على نواة بولتزمان سوفت ماكس (Boltzmann softmax kernel).

Sumit Mukherjee2026-03-11
🤖 AI

LDP: An Identity-Aware Protocol for Multi-Agent LLM Systems

تقدم هذه الورقة بروتوكول مفوض النماذج اللغوية الكبيرة (LDP)، وهو إطار عمل للاتصال أصيل في الذكاء الاصطناعي يعزز كفاءة وحوكمة الأنظمة متعددة الوكلاء من خلال عرض هوية النموذج وملفات تعريف الاستدلال كعناصر أولية أساسية، مما أظهر انخفاضات ملحوظة في زمن الاستجابة واستهلاك الرموز (tokens) إلى جانب تحسين قدرات الأمان والاسترداد في التقييمات التجريبية.

Sunil Prakash2026-03-11
🤖 AI

Latent World Models for Automated Driving: A Unified Taxonomy, Evaluation Framework, and Open Challenges

تقترح هذه الورقة تصنيفاً وإطار تقييم موحداً لنماذج العالم الكامنة في القيادة الذاتية، حيث تنظم خيارات التصميم بناءً على التمثيلات الكامنة والبديهيات الهيكلية مع تحديد الآليات الداخلية الرئيسية واتجاهات البحث لتعزيز المتانة والتعميم وقابلية النشر.

Rongxiang Zeng, Yongqi Dong2026-03-11