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