0 votes
If we explain the answer of global model checking without following the steps of model checking, can we get points or it will not be acceptable?
in * TF "Emb. Sys. and Rob." by (160 points)

1 Answer

0 votes
If the answer is given in sufficient detail, you deserve the full points. For example, when asking for the states that satisfy a formula E[phi SU psi], you may argue as follows: The fix point iteration would start with the empty set of states, then with the states satisfying psi (you should name them here), and will then add iteratively the predecessors where phi holds (then show the sequences of states added). That should do.

Alternatively, if it is just asked which states satisfy that formula, you may explain so by the semantics of the formulas. However, don't forget to mention why other states then do not satisfy the formula.
by (96.2k points)

Related questions

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