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

912 questions

1k answers

1.4k comments

441 users

0 votes
Is this formula right (XXa = Xa)?
in * TF "Emb. Sys. and Rob." by (180 points)

1 Answer

0 votes
Definitely not: pi,t |= XXa holds iff pi,t+2 |= a holds, while pi,t |= Xa holds iff pi,t+1 |= a holds
by (142k points)
Confusion in translation

Related questions

0 votes
1 answer
asked Sep 5, 2022 in * TF "Emb. Sys. and Rob." by ss (160 points)
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy
...