Jungjae Lee, Dongjae Lee, Chihun Choi, Youngmin Im, Jaeyoung Wi, Kihong Heo, Sangeun Oh, Sunjae Lee, Insik Shin, "VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification" [doi]