Shih-Jie Shih, Jonghan Lim, Ilya Kovalenko, Rômulo Meira-Góes. NeuroSymbolic Robustness Analysis for Discrete Systems with Respect to Transition Deviations. In 18th International Workshop on Discrete Event Systems, WODES 2026, Eindhoven, Netherlands, June 8-10, 2026. pages 151-156, IEEE, 2026. [doi]
Abstract is missing.