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

529 users

0 votes



I checked the slide 41 of VRS-05 mu-calculus, but did not understand how did we derive the answer here based on the given formulas on the slide? Can someone please explain?

in * TF "Emb. Sys. and Rob." by (380 points)

1 Answer

0 votes
I guess that you tried to translation this with the translation rules from CTL to µ-calculus which is not possible since that formula does not belong to CTL. The formula has been discussed in the chapter on µ-calculus. There is not simple way for that translation, it took some slides, namely slides 38-40 of the µ-calculus chapter to explain it.
by (166k points)

Related questions

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