@misc{indiciae6ae308cf1e15,
  title = {Validated Intent Compilation for Constrained Routing in LEO Mega-Constellations},
  author = {Yuanhang Li},
  year = {2026},
  url = {https://arxiv.org/abs/2604.07264},
  note = {Source identifier: 2604.07264}
}