LTL: $r\rarr W(r,a)$ vale in 1, 5, 2, 6, 3, 7

CTL: $AG \ EFa$

$EFa$ vale in tutti gli stati tranne in 5

$AG \ EFa$ vale in 2, 3, 6, 7