Aufgabe 1. Gegeben sei der Transitionsgraph T (P ) auf Folie 182 und die LTL-Formel ϕ = (0 ∧ 1) U (¬0 ∧ 1). Geben Sie einen P-Multiautomaten M an mit
1
0
0
Volltext
ÄHNLICHE DOKUMENTE
Lehrstuhl Theoretische Informatik Markus Lohrey. Model Checking
Lehrstuhl Theoretische Informatik Markus Lohrey. Logik II
Lehrstuhl Theoretische Informatik Markus Lohrey. Komplexit¨ atstheorie
Lehrstuhl Theoretische Informatik Markus Lohrey. Algorithmentheorie
Lehrstuhl Theoretische Informatik Markus Lohrey. Model Checking
Lehrstuhl Theoretische Informatik Markus Lohrey. Model Checking
Lehrstuhl Theoretische Informatik Markus Lohrey und Moses Ganardi. Algorithmen
Lehrstuhl Theoretische Informatik Markus Lohrey und Eric N¨ oth.. Komplexit¨ atstheorie