“…2) We use the accepting frontier function [9], [10] for the tLDGBA Acc : δ × 2 δ → 2 δ . Initializing a set of transitions F with the set of the all accepting transitions in B ϕ , the function receives the transition (x, σ, x ) that occurs and the set F. If (x, σ, x ) is in F, then Acc removes the accepting sets containing (x, σ, x ) from F. For the product MDP of the MDP M and the tLDGBA B ϕ , the reward function is based on the removed sets of B ϕ .…”