Analyse von Deterministischen Gewichteten Automaten unter Teilweiser Beobachtbarkeit

Teilweise beobachtbare deterministische gewichtete Automaten bieten eine Lösung für die Schwierigkeiten bei der Spezifikationssynthese, indem sie genaue Werte vermeiden.