@misc{indiciae865f02061e73,
  title = {A contract negotiation scheme for safety verification of interconnected systems},
  author = {Xiao Tan and Antonis Papachristodoulou and Dimos V. Dimarogonas},
  year = {2024},
  url = {https://arxiv.org/abs/2311.03164},
  note = {Source identifier: 2311.03164}
}