Stable Termination Function

The termination function $\beta_{\mathsf{st}}$ is defined by $\beta_{\mathsf{st}}(F,E) = 1$ iff $F = (\emptyset, \emptyset)$ .

Reference

Thimm, M. (2022). Revisiting Initial Sets in Abstract Argumentation. Argument & Computation, 13(3), pp. 325–360.