AI for Safety-Critical Infrastructures