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

0 votes

Could you please tell me what formulas were used to translate the Red box Highlighted lines? question 9 (a,b) of September 06, 22

in # Study-Organisation (Master) by (160 points)

1 Answer

+1 vote
 
Best answer
These formulas solve one of the problems to convert a CTL* formula to CTL (if possible). You can find them and their explanations in the temporal logic chapter on slides 45-46, and a lot of instances of them to other temporal operators on slides 47-49 (if you want to fill your cheat sheet).
by (170k points)
selected by

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...