% AwesomeCUA: {"catalog_id": "arxiv:2503.18492", "catalog_review_status": "curated", "catalog_scope": "core", "identifiers": {"arxiv": "2503.18492"}}
@misc{arxiv_2503_18492,
  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},
  eprint = {2503.18492v2},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2503.18492v2},
  note = {First published: 2025-03-24; Recorded arXiv version: v2; Recorded version updated: 2025-09-11T04:15:45Z.}
}