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

972 questions

1.1k answers


469 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 (147k points)
selected by

Related questions

Imprint | Privacy Policy