Automated Approach for Solving Infinite-state Polynomial Reachability Games
تقدم هذه الورقة خوارزمية مؤتمتة سليمة، وشبه كاملة، وذات تعقيد زمني تحت أسي، تستخدم شهادات الترتيب لحل ألعاب الوصول متعددة الحدود ذات الحالة اللانهائية، حيث تنجح في حساب استراتيجيات الفوز للاعب REACH في سيناريوهات صعبة مثل لعبة "سندريلا-زوجة الأب" (Cinderella-Stepmother) التي فشلت فيها الطرق السابقة.