TY  - RPRT
TI  - A Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification
AU  - Vasileios Manginas
AU  - Nikolaos Manginas
AU  - Edward Stevinson
AU  - Sherwin Varghese
AU  - Nikos Katzouris
AU  - Georgios Paliouras
AU  - Alessio Lomuscio
PY  - 2025
UR  - https://arxiv.org/abs/2502.03274
ID  - 2502.03274
ER  -