@misc{capucci-2026-compositionality,
  doi = {10.48550/ARXIV.2604.03017},
  url = {https://arxiv.org/abs/2604.03017},
  author = {Capucci, Matteo and Myers, David Jaz},
  keywords = {Logic in Computer Science (cs.LO), Category Theory (math.CT), Dynamical Systems (math.DS), FOS: Computer and information sciences, FOS: Computer and information sciences, FOS: Mathematics, FOS: Mathematics, 93D30, 68Q60, 18N10},
  title = {Compositionality of Lyapunov functions via assume-guarantee reasoning},
  publisher = {arXiv},
  year = {2026},
  copyright = {arXiv.org perpetual, non-exclusive license}
}