TY  - RPRT
TI  - Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels
AU  - Vito Barbara
AU  - Massimo Guarascio
AU  - Nicola Leone
AU  - Giuseppe Manco
AU  - Alessandro Quarta
AU  - Francesco Ricca
AU  - Ettore Ritacco
PY  - 2023
UR  - https://arxiv.org/abs/2305.10113
ID  - 2305.10113
ER  -