capucci-2026-compositionality:
  type: misc
  title: Compositionality of Lyapunov functions via assume-guarantee reasoning
  author:
  - Capucci, Matteo
  - Myers, David Jaz
  date: 2026
  publisher: arXiv
  url: https://arxiv.org/abs/2604.03017
  serial-number:
    doi: 10.48550/ARXIV.2604.03017