UPPAAL TIGA 4.1.0-0.9

UPPAAL ТИГА является продолжением UPPAAL [BDL04] и реализует первый эффективный на лету алгоритм решения игры, основанные на приурочен игру автоматов по отношению к достижимости и безопасности свойств.Хотя приурочен игры давно было известно, что разрешима...
Последние посещенные программы