Meet your expectations with guarantees: Beyond worst-case synthesis in quantitative games

ما مشکل فراتر از بدترین حالت سنتز را برای دو تنظیمات مهم کمی بررسی می کنیم: متوسط ​​بازده و کوتاهترین مسیر. در هر دو مورد، ما نشان می دهیم که چطور باید تصمیم گیری کنیم که استراتژی های محدود حافظه رضایتبخش مشکل و چگونگی ترکیب شدن یک آن وجود داشته باشد. ما الگوریتم ها را ایجاد می کنیم و محدوده پیچیدگی و نیازهای حافظه را مطالعه می کنیم.