0 votes

Hello,

I just can't understand how to construct the signal traces in these types of questions. Could someone help, please.

in * TF "Intelligent Systems" by (350 points)

1 Answer

0 votes
You have to consider the semantics of the temporal operators to decide this. For example, looking at [b SU c], you can already put an 1 at those places where c holds. Then, you consider any prefix before such a place where b holds until that point of time. These points of time also satisfy [b SU c], and the rest doesn't.
by (91.8k points)

Related questions

0 votes
1 answer
asked Aug 24, 2020 in * TF "Emb. Sys. and Rob." by ggokaj (840 points)
0 votes
1 answer
asked Aug 27 in * TF "Intelligent Systems" by RS (770 points)
0 votes
1 answer
0 votes
1 answer
asked Aug 11 in * TF "Intelligent Systems" by RS (770 points)
Imprint | Privacy Policy
...