System III: Learning with Domain Knowledge for Safety Constraints. - Fazl Barez; Hosien Hasanbieg; Alesandro Abbate (CoRR, 2023)