@misc{indiciae4c9a019f3127,
  title = {Probabilistic Verification for Modular Network-on-Chip Systems (extended version)},
  author = {Nick Waddoups and Jonah Boe and Arnd Hartmanns and Prabal Basu and Sanghamitra Roy and Koushik Chakraborty and Zhen Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2511.13890},
  note = {Source identifier: 2511.13890}
}