UPPAAL TIGA UPPAAL [BDL04] bir uzantısıdır ve erişilebilirlik ve güvenlik özellikleri açısından zamanlı oyun otomata dayalı oyunlar çözümünde ilk etkili on-the-fly algoritması uygular.
Uzun zamanlı oyunlar Karar verilebilen olduğu bilinmektedir rağmen şimdiye kadar onların analizi için verimli ve gerçekten on-the-fly algoritmaları eksikliği olmuştur.
UPPAAL TIGA karşılık gelen sunucu ile kullanıcı dostu grafik arayüzü ve komut satırı doğrulayıcı sağlar.
Biz [CDFLL05] teklif algoritma sonlu-devlet sistemlerinin doğrusal zamanlı model denetimi için Liu & Smolka [LS98] tarafından önerilen on-the-fly algoritmasının sembolik bir uzantısıdır. Tüm devlet alanı incelemiş önce on-the-fly olmak, sembolik algoritma uzun feshedebilir.
Algoritması da tek tek adımları, temel veri yapısı olarak adlandırılan bölgeler kullanılarak verimli bir şekilde gerçekleştirilmektedir. Bizim araç çeşitli temel sembolik algoritmanın optimizasyonlar yanı sıra (ulaşılabilirlik oyunları için) zaman-optimal kazanan stratejiler elde etmek için yöntemler uygular.
Bu Sürümdeki Yenilikler:
Yorum Bulunamadı