Neuro-Symbolic AI for Safety Assessment in Cyber-Physical Systems

SSRN Electronic Journal 2026 Preprint Open access

Read full text
Authors: Luca Salvatore Lorello, Laura Carnevali, Marco Lippi, Stefano Melacci
DOI: 10.2139/ssrn.6218022
Cited by: 0
References: 15

Fields of Study & Subjects

Formal Methods in Verification Logic Reasoning and Knowledge Safety Systems Engineering in Autonomy

Publication details

Journal / source
SSRN Electronic Journal
Publication date
1 January 2026
Language
EN
Document type
Preprint