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

557 users

0 votes

(2017.08)

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 (170k points)
selected by
Imprint | Privacy Policy
...