UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA è un'estensione di UPPAAL [BDL04] e implementa la prima efficiente algoritmo di on-the-fly per risolvere giochi basati su automi gioco a tempo rispetto alla raggiungibilità e sicurezza proprietà.Anche se partite a tempo per una lunga sono...