YAMPAKA, T.; NOOLEK, duangjai; CHUNHAPRAN, O. Formal Verification of Ethical Behavior in Mental Health Conversational Systems Using Finite-State Models. ECTI Transactions on Computer and Information Technology (ECTI-CIT), [S. l.], v. 20, n. 4, p. 643–657, 2026. DOI: 10.37936/ecti-cit.2026204.265957. Disponível em: https://ph01.tci-thaijo.org/index.php/ecticit/article/view/265957. Acesso em: 8 oct. 2026.