@misc{indiciaea16cbd6bb32b,
  title = {QuadSentinel: Sequent Safety for Machine-Checkable Control in Multi-agent Systems},
  author = {Yiliu Yang and Yilei Jiang and Qunzhong Wang and Yingshui Tan and Xiaoyong Zhu and Sherman S. M. Chow and Bo Zheng and Xiangyu Yue},
  year = {2025},
  url = {https://arxiv.org/abs/2512.16279},
  note = {Source identifier: 2512.16279}
}