On Safety Assurance of Symbolic Artificial Intelligence

Michell Guzman Cancimance , Radouane Bouchekir , Cook Alasdair und Johannes Haindl

International Conference on Software Quality, Reliability, and Security Companion,

Juli 2024