Coursera
University of Colorado Boulder
Verification and Synthesis of Autonomous Systems (Coursera)
Dive into the world of autonomous system verification with our expert-led online course. Gain a deep understanding of techniques like Lyapunov methods, reachability analysis, barrier certificates, and model checking to verify stability, regularity, and omega-regular properties in complex autonomous systems. Enhance your skills in designing controllers that enforce desired properties.