UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA е разширение на UPPAAL [BDL04] и да го реализира първия ефективен алгоритъм на най-лети за решаване на игри, базирани на навременна игра автомати по отношение на достъпност и безопасност свойства.Въпреки че са известни във времето игри за...
Последно видян софтуер