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

1.1k questions

1.2k answers


510 users

0 votes


I have been looking into the Temporal Past operator section in Chapter 7 Slides and I could not figure out How this temporal past operator X(with arrow) was substituted like GFXA = GFa, is there a formula like Xa=a(X with arrow)? If so where exactly in the slides are such formulas shown?

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

1 Answer

+1 vote
Best answer
See slide 74 of the temporal  logic chapter where the translations of the past operators are described.
by (162k points)
selected by
Imprint | Privacy Policy