@misc{indiciae9b1a0b1e0d6d,
  title = {Iterative graph lifting for automatic design of path-complete stability certificates},
  author = {Léa Ninite and Raphaël M. Jungers},
  year = {2026},
  url = {https://arxiv.org/abs/2607.00637},
  note = {Source identifier: 2607.00637}
}