TY  - RPRT
TI  - QuadSentinel: Sequent Safety for Machine-Checkable Control in Multi-agent Systems
AU  - Yiliu Yang
AU  - Yilei Jiang
AU  - Qunzhong Wang
AU  - Yingshui Tan
AU  - Xiaoyong Zhu
AU  - Sherman S. M. Chow
AU  - Bo Zheng
AU  - Xiangyu Yue
PY  - 2025
UR  - https://arxiv.org/abs/2512.16279
ID  - 2512.16279
ER  -