uppaal Tiga is 'n uitbreiding van die uppaal [BDL04] en dit implementeer die eerste doeltreffende on-the-fly algoritme vir die oplos speletjies wat gebaseer is op die regte tyd spel outomate met betrekking tot reach en veiligheid eienskappe.
Hoewel snel speletjies vir lank reeds bekend beslegbaar om daar te wees het tot nou toe nie 'n gebrek aan doeltreffende en werklik op-die-vlieg algoritmes vir hul ontleding.
Uppaal Tiga bied 'n gebruiker-vriendelike grafiese koppelvlak met die ooreenstemmende bediener, en 'n command line verifieerder.
Die algoritme ons voor [CDFLL05] is 'n simboliese uitbreiding van die op-die-vlieg algoritme voorgestel deur Liu & Smolka [LS98] vir lineêre-time model kontrole van eindige-staat stelsels. Om op-die-vlieg, mag die simboliese algoritme lang beëindig voordat hy die hele staat ruimte verken.
Ook die individuele stappe van die algoritme doeltreffend uitgevoer word deur die gebruik van sogenaamde sones as die onderliggende data struktuur. Ons instrument implemente verskeie optimalisaties van die basiese simboliese algoritme, asook metodes vir die verkryging van tyd-optimale wen strategieë (vir reach speletjies).
Wat is nuut in hierdie release:
Kommentaar nie gevind