دانلود رایگان مقالات نشریه ISI اطلاعات و محاسبات

بازی های شبیه سازی عادلانه کمی

Quantitative fair simulation games

24 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

ترکیب تزریق خطا و بررسی مدل برای بررسی تحمل شکست، قابلیت بازیابی و تشخیص در سیستم های چند عامل

Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems

28 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

بازی های اول مرحله ای

First-cycle games

22 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

بازی های نامتناهی با شکاف دانش محدود

Infinite games with finite knowledge gaps

21 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

تعادل ناس در بازی گراف متقارن با مشاهدات جزئی

Nash equilibria in symmetric graph games with partial observation

46 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

انتظارات خود را با تضمین: فراتر از بدترین حالت سنتز در بازی های کمی

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

37 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

تعادل روز قیامت برای بازی های معمولی امگا

Doomsday equilibria for omega-regular games

20 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه

توانایی استراتژیک در منطق زمانبندی متناوب

Refining strategic ability in alternating-time temporal logic

13 صفحه فرمت PDF سال انتشار : 2017 دانلود متن کامل مقاله ISI سفارش ترجمه