Yampaka, Tongjai, duangjai noolek, and Orawan Chunhapran. 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-57. https://doi.org/10.37936/ecti-cit.2026204.265957.