TY - RPRT TI - Neural Network Verification for Deep Joint Source-Channel Coding AU - Thanh Le AU - Hai Duong AU - Takeshi Matsumura AU - ThanhVu Nguyen PY - 2026 UR - https://arxiv.org/abs/2610.11994 ID - 2610.11994 ER -