UPPAAL TIGA ay isang extension ng UPPAAL [BDL04] at ito ay nagpapatupad sa unang mahusay na on-the-fly algorithm para sa paglutas ng mga laro na batay sa time automata game na may paggalang sa reachability at kaligtasan properties.
Kahit nag-time laro para sa matagal na ito ay kilala na maging decidable nagkaroon hanggang ngayon ay isang kakulangan ng mahusay at tunay na on-the-fly algorithm para sa kanilang pagsusuri.
UPPAAL TIGA nagbibigay ng isang graphical interface ng user-friendly nito sa kaukulang server, at isang command line verifier.
Ang algorithm namin imungkahi [CDFLL05] ay isang symbolic extension ng on-the-fly algorithm iminungkahi ni Liu & Smolka [LS98] para sa linear-time model-suri ng sistema takda-estado. Pagiging on-the-fly, ang sinasagisag algorithm ay maaaring wakasan ng matagal bago pagkakaroon ginalugad ang buong-space estado.
Gayundin ang mga indibidwal na mga hakbang ng algorithm ay natupad mahusay sa pamamagitan ng paggamit ng mga tinatawag na zone bilang ang pangunahing istraktura ng data. Ang aming kasangkapan ay nagpapatupad ng iba't-ibang mga optimization ng ang pangunahing symbolic algorithm, pati na rin ang mga pamamaraan para sa pagkuha ng time-optimal estratehiya winning (para reachability games).
Ano ang Bago sa Paglabas na ito:
Mga Komento hindi natagpuan