Yampaka, T., noolek, duangjai, & 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), 643–657. https://doi.org/10.37936/ecti-cit.2026204.265957