Yampaka, T.; noolek, duangjai; Chunhapran, O. Formal Verification of Ethical Behavior in Mental Health Conversational Systems Using Finite-State Models. ECTI-CIT Transactions 2026, 20, 643-657.