Yampaka, T., noolek, duangjai and Chunhapran, O. 2026. Formal Verification of Ethical Behavior in Mental Health Conversational Systems Using Finite-State Models. ECTI Transactions on Computer and Information Technology (ECTI-CIT). 20, 4 (Sep. 2026), 643–657. DOI:https://doi.org/10.37936/ecti-cit.2026204.265957.