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

928 questions

1k answers

1.4k comments

441 users

0 votes

Since the existential predecessor is computed on a cube, we could only substitute the primed variables as per slide 69 in VRS-04-TransitionSystems. 

  • Is the above accepted as solution in exam ? And analogously for existential successor? 
  • Is the final simplification acceptable and hence the statement that these are the states that contain p,a?
in * TF "Emb. Sys. and Rob." by (480 points)

1 Answer

+1 vote
 
Best answer
Looks fine to me. Perfect!
by (143k points)
selected by

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Aug 18, 2020 in * TF "Emb. Sys. and Rob." by maherin (370 points)
0 votes
1 answer
asked Aug 6, 2020 in * TF "Emb. Sys. and Rob." by ssripa (550 points)
Imprint | Privacy Policy
...