UPPAAL TIGA jest rozszerzenie UPPAAL [BDL04] i realizuje pierwszy skuteczny algorytm on-the-fly rozwiązywania gry oparte na czasowym gry automatów w odniesieniu do właściwości osiągalności i bezpieczeństwa.
Choć czasowe gry na długo były znane być decyzyjny nie został do tej pory brak efektywnych i naprawdę on-the-fly algorytmów do ich analizy.
UPPAAL TIGA zapewnia graficzny interfejs przyjazny dla użytkownika z jego odpowiednim serwerem i weryfikatora wiersza poleceń.
Algorytm proponujemy [CDFLL05] jest symboliczne rozszerzenie algorytmu on-the-fly sugerowanej przez Liu i Smolka [LS98] dla modelu liniowego czasu sprawdzania systemów skończonych państwowych. Bycie on-the-fly, algorytm symboliczne może wypowiedzieć długo przed po zbadać całą przestrzeni stanu.
Ponadto poszczególne etapy algorytmu są wykonywane efektywnie przez zastosowanie tak zwanych strefami jako podstawowej struktury danych. Nasze narzędzie realizuje różne optymalizacje podstawowego algorytmu symbolicznym, jak również metody uzyskiwania optymalnych czasie zwycięskich strategii (dla gier zdolności odbiorczej).
Co nowego w tym wydaniu:
Komentarze nie znaleziono