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

870 questions

988 answers


439 users

0 votes

Exam : 21.08.2018 : Q. 9 c : (

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 (139k points)
selected by
Thanks a lot for the clarification.

Related questions

0 votes
1 answer
0 votes
1 answer
0 votes
1 answer
Imprint | Privacy Policy