TY  - RPRT
TI  - A Formal Analysis of Agent Payment Protocols
AU  - Ke Jiang
AU  - Mohan Yu
AU  - Yuan Chang
AU  - Mohit Kumar Jangid
AU  - Jianyu Niu
AU  - Cong Wang
AU  - Yinqian Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2609.00060
ID  - 2609.00060
ER  -