In M. Nakahara's book Geometry, Topology and Physics on page 19, the probability amplitude for a particle to move from $x_i$ at time $t_i$ to $x_f$ at time $t_f$ is given as
$$ \tag{1} \langle x_f, t_f | x_i, t_i \rangle $$
where the Heisenberg picture vectors are defined
$$\tag{2} \hat{x}(t_i)|x_i, t_i\rangle = x_i|x_i, t_i\rangle $$
(and similarly for $x_f$) with $\hat{x}(t)$ is the position operator.
I have never seen $(1)$ before. Is that the formula for calculating probability amplitudes in the Heisenberg picture? Why are the states dependent on time?