TY  - RPRT
TI  - VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification
AU  - Jungjae Lee
AU  - Dongjae Lee
AU  - Chihun Choi
AU  - Youngmin Im
AU  - Jaeyoung Wi
AU  - Kihong Heo
AU  - Sangeun Oh
AU  - Sunjae Lee
AU  - Insik Shin
PY  - 2025
UR  - https://arxiv.org/abs/2503.18492
ID  - 2503.18492
ER  -