Part 3: Reflections On AI (Challanges Safety Critical Systems) Artificial Intelligence is very powerful, but how does one verify safety properties?  We discuss the progress in this field in the last decade.