Join Spas Angelov, Maria Marquez, and Perrin Ruth on the first live show of this Academic Year to discuss about exciting STEM research conducted at the University of Colorado. Participate by e-mailing a question to probablynovel@gmail.com. In this show, Dr. Trivedi will discuss some issues related to the lack of robustness and correctness guarantees with learning-enabled systems, and will discuss how research efforts in 鈥渇ormal methods鈥� based verification and validation techniques can be leveraged to build trust in the next generation of learning enabled systems. Live Signal Link: radio1190.org Missed a show? No problem! Check out our website: /amath/probably-novel-appms-stem-radio-show-podcast