TY  - RPRT
TI  - Certified Closed-Loop Control for Packet Networks: A Compositional Certification Framework
AU  - Muhammad Bilal
AU  - Jon Crowcroft
AU  - Xiaolong Xu
AU  - Huaming Wu
PY  - 2026
UR  - https://arxiv.org/abs/2606.02368
ID  - 2606.02368
ER  -