در UPPAAL TIGA گسترش UPPAAL [BDL04] است و آن را پیاده سازی اولین کارآمد در پرواز الگوریتم برای حل بازی بر اساس بازی اتوماتیک بهنگام با توجه به قابل دسترسی و ایمنی خواص.
هر چند بازی های به پایان رسیده برای مدت طولانی شناخته شده اند به تصمیم گرفتنی است تا به حال عدم الگوریتم های کارآمد و واقعا در پرواز برای تجزیه و تحلیل آنها منتشر شد.
UPPAAL TIGA فراهم می کند یک رابط گرافیکی کاربر پسند با سرور مربوط به آن، و تصدیق خط فرمان.
الگوریتم ما پیشنهاد می کنیم [CDFLL05] فرمت نمادین الگوریتم در پرواز توسط لیو و Smolka [LS98] برای خطی زمان مدل چک کردن سیستم های حالت محدود پیشنهاد شده است. بودن در پرواز، الگوریتم نمادین ممکن است طولانی قبل از خاتمه با تمام فضای حالت پرداخته شده است.
همچنین گام منفرد از الگوریتم ها از موثر با استفاده از مناطق به اصطلاح به عنوان ساختار داده های اساسی انجام شده است. ابزار ما را پیاده سازی بهینه سازی های مختلف از الگوریتم پایه نمادین، و همچنین روش برای به دست آوردن استراتژی برنده زمان مطلوب (برای بازی های قابل دسترسی).
چه جدید در این نسخه:
نظر یافت نشد