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.
