AI for Safety-Critical Systems