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

1.1k questions

1.3k answers

1.7k comments

556 users

0 votes

Exam : 21.08.2018 : Q. 9 c : 2018.08.21.vrs.solutions.pdf (uni-kl.de)

I tried to solve it like this :

But I realize that interval((t0,1,t1,1), phi) doesn't belong to [phi SU psi] also it doesn't belong to any of the semantics given on slide 48 (Linear Temporal Logic and LO1).

So, if there is a semantic like below :

t1.t0 <= t1 ∧ interval((t0,1,t1,1), ! psi) ∧ Tp2Od(t1, phi)

Can I consider it as [phi SB psi] ?

in * TF "Emb. Sys. and Rob." by (2.9k points)

1 Answer

+1 vote
 
Best answer
Sure that corresponds with the semantics of a before operator.
by (170k points)
selected by
Thanks a lot for the clarification.

Related questions

0 votes
1 answer
asked Aug 24, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
asked Aug 25, 2022 in * TF "Emb. Sys. and Rob." by CS_E (2.9k points)
+1 vote
1 answer
Imprint | Privacy Policy
...