Uppaal Tiga. Uppaal Tiga ist eine Erweiterung von Uppaal und implementiert den ersten effizienten On-the-Fly-Algorithmus, um Spiele zu lösen.
Jetzt downloaden

Uppaal Tiga. Ranking & Zusammenfassung

Uppaal Tiga. Stichworte

Uppaal Gelöst lösen Spiele Befehlszeilenprüfer On-the-fly-Algorithmus Tiga

Uppaal Tiga. Beschreibung

Uppaal Tiga ist eine Erweiterung von Uppaal und implementiert den ersten effizienten On-the-Fliegen-Algorithmus, um Spiele zu lösen. Uppaal Tiga ist eine Erweiterung von Uppaal und es implementiert den ersten effizienten On-the-Fly-Algorithmus zum Lösen von Spielen, die auf zeitgesteuerten Spielautomaten in Bezug auf Erreichbarkeits- und Sicherheitseigenschaften basieren. Trotzdem sind zeitgesteuerte Spiele dafür bekannt hat bisher ein Mangel an effizienten und wirklich on-the-the-the-fly-Algorithmen für ihre Analyse. Erweiterung des von Liu und Smolka vorgeschlagenen Algorithmus des On-the-Fliegen-Algorithmus zur Linear-Zeit-Modellprüfung von Finite-State-Systemen. Der symbolische Algorithmus kann lang sein, bevor er den gesamten Zustandsraum erforscht hatte. Die einzelnen Schritte des Algorithmus werden durch die Verwendung von sogenannten Zonen als zugrunde liegenden Datenstruktur effizient durchgeführt. Unser Werkzeug implementiert verschiedene Optimierungen des grundlegenden symbolischen Algorithmus sowie Methoden, um zeitoptimale Gewinnstrategien (für Erreichbarkeitsspiele) zu erhalten. Was neu in dieser Version ist: · Diese Version fixiert zwei große Fehler: Falsche Antworten (und Strategien) wurden angegeben Für einige Fälle mit Verzögerungen und der Simulator ging der Simulator nicht ordnungsgemäß mit dringenden und engagierten Zuständen.

Uppaal Tiga. Zugehörige Software