Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

543 users

0 votes
I have watched Lecture Temporal logics and worked respective exercises. I tried to make use of the formulas in cheatsheet. Please help me with a clear cut appoarch to solve these types of questions.

when it comes to conversion to LTL i follow only the rule removing path quantifiers.
related to an answer for: LTL to LTL
in # Study-Organisation (Master) by (850 points)

1 Answer

0 votes
I am afraid that there are no general hints for such exercises. You need some experience with the formulas and have to know a couple of equivalences. The equivalences you need should be listed in the slides, and you can put some on your cheat sheet for the exam. The experience comes with solving many exercises. If you do both, you should be sufficiently prepared for the exam.
by (166k points)
Imprint | Privacy Policy
...