Andrzej M. Borzyszkowski
Logiki temporalne – laboratorium 1 (LTL)
Logika LTL
Na wykładzie
LTL.pdf
podano składnię i semantykę logiki temporalnej LTL.
Plik
zadania-ltl.pdf
zawiera przykłady systemów tranzycji (struktur Kripkego) oraz zadania dotyczące formuł logiki LTL.
Dalsze zadania
zad1-ltl.pdf
,
zad2-ltl.pdf
.
Do góry
