In this Future of Everything podcast on AI and Safety-Critical Systems, Mykel Kochenderfer discusses challenges building and validating trustworthy, safe autonomous technology in particular for commercial air transport systems and how AI, empowered by algorithms such as "dynamic programming," can make autonomous systems safer. Link