UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA είναι μια επέκταση της UPPAAL [BDL04] και υλοποιεί το πρώτο αποτελεσματικό on-the-fly αλγόριθμο για την επίλυση παιχνίδια που βασίζονται σε χρονικά αυτόματα το παιχνίδι σε σχέση με την προσβασιμότητα και την ασφάλεια ιδιότητες.Αν και έχουν...