When we create an accepting transition (B'=∅), we currently compute the successors N', C', S' and then copy C' to B'. Yong Li suggested to move to B' only the successors of C without the newly incoming runs from N. That is, B' = δ(C, a)\δ(S,a) only.
The transition-based version of the original NCSB is implemented in Spot.
When we create an accepting transition (B'=∅), we currently compute the successors N', C', S' and then copy C' to B'. Yong Li suggested to move to B' only the successors of C without the newly incoming runs from N. That is, B' = δ(C, a)\δ(S,a) only.
The transition-based version of the original NCSB is implemented in Spot.