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
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 (166k 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
+1 vote
1 answer
Imprint | Privacy Policy
...