@misc{indiciaebe6074ab981d,
  title = {Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements},
  author = {Rafael Dewes and Rayna Dimitrova},
  year = {2024},
  url = {https://arxiv.org/abs/2412.13114},
  note = {Source identifier: 2412.13114}
}