CGAAL: به پایان رساندن آن و آنچه بعدا می آید

:::info این مقاله در arxiv تحت مجوز CC 4.0 موجود است.

نویسندگان:

(1) Falke B. Ø. کارلسن، گروه علوم کامپیوتر، دانشگاه آلبورگ، دانمارک & [email protected];

(2) Lars Bo P. Frydenskov، گروه علوم کامپیوتر، دانشگاه آلبورگ، دانمارک & [email protected];

(3) Nicolaj Ø. جنسن، گروه علوم کامپیوتر، دانشگاه آلبورگ، دانمارک & [email protected];

(4) جنر راسموسن، [email protected]؛

(5) Mathias M. Sørensen، [email protected]؛

(6) Asger G. Weirsøe, [email protected];

(7) Mathias C. Jensen، گروه علوم کامپیوتر، دانشگاه آلبورگ، دانمارک & [email protected];

(8) کیم جی. لارسن، گروه علوم کامپیوتر، دانشگاه آلبورگ، دانمارک و [email protected].

:::

معرفی

تعاریف

بررسی مدل

نمای کلی ابزار

ارزیابی

نتیجه گیری و مراجع

6. نتیجه گیری

در این مقاله، ما CGAAL، مدل بررسی‌کننده خواص منطق زمانی متناوب در بازی‌های همزمان را ارائه می‌کنیم. CGAAL چنین ویژگی‌هایی را با رمزگذاری مسئله به‌عنوان یک نمودار وابستگی توسعه‌یافته بررسی می‌کند و سپس رابطه رضایت را با استفاده از الگوریتم محلی توزیع شده CERTAINZERO توسط Dalsgaard و همکاران محاسبه می‌کند. [4]. ما چندین استراتژی جستجوی جدید را برای الگوریتم ارائه می دهیم و اجازه می دهیم بازی های همزمان در ما بیان شوند…