Yampaka, Tongjai, duangjai noolek, and Orawan Chunhapran. “Formal Verification of Ethical Behavior in Mental Health Conversational Systems Using Finite-State Models”. ECTI Transactions on Computer and Information Technology (ECTI-CIT) 20, no. 4 (September 19, 2026): 643–657. accessed October 9, 2026. https://ph01.tci-thaijo.org/index.php/ecticit/article/view/265957.