Exam : 21.08.2018 : Q. 9 c : 2018.08.21.vrs.solutions.pdf (uni-kl.de)
![](https://q2a.cs.uni-kl.de/?qa=blob&qa_blobid=7458622688068501386)
I tried to solve it like this :
![](https://q2a.cs.uni-kl.de/?qa=blob&qa_blobid=13074835015238049324)
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] ?