Cyber-Physical Systems and Reinforcement Learning

Objective: introducing cyber-physical systems, with particular regard to modeling them with hybrid formalisms and the formal verification of their properties. Presenting both notions and main techniques of Reinforcement Learning.