Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
556 users
In exercise 8 of exam 2019.08.27, we have to convert "A([¬aU0]∧F[aUb])" to LTL.
Why is "A([¬aU0]∧F[aUb])" not already a LTL formula?