@misc{indiciae909e32b87333,
  title = {VeriSafe Agent: Safeguarding Mobile GUI Agent via Logic-based Action Verification},
  author = {Jungjae Lee and Dongjae Lee and Chihun Choi and Youngmin Im and Jaeyoung Wi and Kihong Heo and Sangeun Oh and Sunjae Lee and Insik Shin},
  year = {2025},
  url = {https://arxiv.org/abs/2503.18492},
  note = {Source identifier: 2503.18492}
}