Yampaka T, noolek duangjai, Chunhapran O. Formal Verification of Ethical Behavior in Mental Health Conversational Systems Using Finite-State Models. ECTI-CIT Transactions [internet]. 2026 Sep. 19 [cited 2026 Oct. 9];20(4):643-57. available from: https://ph01.tci-thaijo.org/index.php/ecticit/article/view/265957