Certification of AI in Robotics Systems - Colloquium Presentation by: Dr. Changliu Liu