TY  - RPRT
TI  - NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations
AU  - Shih-Jie Shih
AU  - Jonghan Lim
AU  - Ilya Kovalenko
AU  - Rômulo Meira-Góes
PY  - 2026
UR  - https://arxiv.org/abs/2606.03872
ID  - 2606.03872
ER  -