(cid:3)S1, E1(cid:4) and G2 = (cid:3)S2, E2(cid:4). Let τ = (cid:3) f , R(cid:4) be a transformation from F1 to F2. Then, τ is an RRA transformation from F1 to 
F2 if the following holds:
1. V 2 = V 1, D2 = D1,
2. A2 ⊆ A1.
3. (a) {(cid:3)s, t(cid:4) | ∃(cid:2).(cid:3)s, t, (cid:2)(cid:4) ∈ E1} = {(cid:3)s, t(cid:4) | ∃(cid:2).(cid:3)s, t, (cid:2)(cid:4) ∈ E2} (for RRAa).
A-framework-for-analysing-state-abstraction-metho_2022_Artificial-Intelligen