philo10-104.ltl 115 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
[](((Catch1_3==1) -> ([](Think_1==1))) || (((Eat_3==1) && (Think_8==1)) -> (<>((!(Catch1_1==1)) && (Think_3==1)))))