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

546 users

0 votes

Is this conversion to CTL correct?

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

1 Answer

0 votes
I would rather argue as follows EXF[AGXFa SU AFb] = EX EF E[AG AX AFa SU AF b]
by (166k points)

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
0 votes
2 answers
0 votes
1 answer
asked Aug 5, 2020 in * TF "Emb. Sys. and Rob." by ssripa (550 points)
Imprint | Privacy Policy
...