@misc{indiciaed0873cddaaf7,
  title = {NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations},
  author = {Shih-Jie Shih and Jonghan Lim and Ilya Kovalenko and Rômulo Meira-Góes},
  year = {2026},
  url = {https://arxiv.org/abs/2606.03872},
  note = {Source identifier: 2606.03872}
}