A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence. - Justus Renkhoff; Ke Feng; Marc Meier-Doernberg; Alvaro Velasquez; Houbing Herbert Song (IEEE Trans. Artif. Intell., 2024)