TY  - RPRT
TI  - Probabilistic Verification for Modular Network-on-Chip Systems (extended version)
AU  - Nick Waddoups
AU  - Jonah Boe
AU  - Arnd Hartmanns
AU  - Prabal Basu
AU  - Sanghamitra Roy
AU  - Koushik Chakraborty
AU  - Zhen Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2511.13890
ID  - 2511.13890
ER  -