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

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 (143k points)

Related questions

Imprint | Privacy Policy
...