On Safety Assurance of Symbolic Artificial Intelligence

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

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

July 2024