Question $6$

$1$ pts

Which of the following CTL formulas represents the property $"$P holds until Q becomes true, and then eventually, R holds along all paths"?

$A(PQ{)}^{{?}^{?}}$AFR

$A(PQ{)}^{{?}^{?}}$AGR

$E(PQ{)}^{{?}^{?}}$AGR

$E(PQ{)}^{{?}^{?}}$AFR