Neuro-Symbolic Artificial Intelligence for Safety Engineering.

Laura Carnevali, Marco Lippi

Browse the full SAFECOMP paper archive.