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