Safeguarding Mobile GUI Agent via Logic-based Action Verification. - Jungjae Lee; Dongjae Lee; Chihun Choi; Youngmin Im; Jaeyoung Wi; Kihong Heo; Sangeun Oh; Sunjae Lee; Insik Shin (CoRR, 2025)