UPPAAL TIGA 4.1.0-0.9
UPPAAL Тігана є продовженням UPPAAL [BDL04] і реалізує перший ефективний на льоту алгоритм розв'язання гри, засновані на приурочений гру автоматів по відношенню до досяжності і безпеки властивостей.Хоча приурочений гри давно було відомо, що...
