On Safety Assurance of Symbolic Artificial Intelligence.

M. Guzman, R. Bouchekir, A. Cook, J. Haindl

Browse the full QRS paper archive.