Yampaka, T., duangjai noolek, and O. Chunhapran. “Formal Verification of Ethical Behavior in Mental Health Conversational Systems Using Finite-State Models”. ECTI Transactions on Computer and Information Technology (ECTI-CIT), vol. 20, no. 4, Sept. 2026, pp. 643-57, doi:10.37936/ecti-cit.2026204.265957.