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

Was this obtained by converting from EGF(a|b) to EGEF(a|b)? What would the intermediate step be? My solution varies a bit from the given solution.

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

1 Answer

0 votes
It is derived from νy.<>μx.(y ∧ φ ∨ <>x) (see page 41, VRS-05-MuCalculus), but there are also other variants.
by (166k points)

Related questions

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