Safeguarding Mobile GUI Agent via Logic-based Action Verification

Open in new window