UPPAAL TIGA هو امتداد لUPPAAL [BDL04] وتنفذ أول خوارزمية فعالة على ذبابة لحل ألعاب تعتمد على توقيت المباراة الآلي وفيما يتعلق سائل الأتصال وسلامة الممتلكات.
على الرغم من توقيت مباريات لفترة طويلة من المعروف أن decidable تمت حتى الآن كان هناك نقص في خوارزميات فعالة وحقيقية على ذبابة لتحليلها.
يوفر UPPAAL TIGA واجهة رسومية سهلة الاستخدام مع خادم المناظر له، والمدقق سطر الأوامر.
الخوارزمية نقترح [CDFLL05] هو امتداد رمزي من الخوارزمية على ذبابة اقترح ليو وSmolka [LS98] للخطية مرة ونموذج تدقيق نظم الدولة محدودة. يجري على ذبابة، خوارزمية رمزية قد إنهاء طويلة قبل بعد استكشاف كامل فضاء الحالة.
كما يتم تنفيذ الخطوات الفردية الخوارزمية بكفاءة عن طريق استخدام ما يسمى المناطق كما بنية البيانات الأساسية. أداة لدينا تنفذ تحسينات مختلفة من خوارزمية رمزية الأساسية، فضلا عن أساليب للحصول على استراتيجيات الوقت الأمثل الفوز (للألعاب وسائل الأتصال).
ما هو الجديد في هذا الإصدار:
لم يتم العثور على التعليقات