Computer-driven control of physical systems is at the center of the emerging field of cyber-physical systems, among which autonomous systems. These systems are most often critical in terms of safety or cost. A challenge is the increasing use of artificial intelligence, whether for perception or control. Mastering the modeling, control and verification of such systems is crucial to guarantee their functionality and reliability. The course aims at both introducing the theoretical background and exploring some practical cases.