"Model Based Design of Cyber-Physical System with SyLVer", Ph.D. Course on Hybrid systems: Computation and Control. Department of Computer, Control, and Management Engineering, Sapienza University of Rome, September 18th, 2018
Hands-on lab for SyLVer.
"Model Based Design of Cyber-Physical System with QKS", Ph.D. Course on Hybrid systems: Computation and Control. Department of Computer, Control, and Management Engineering, Sapienza University of Rome, September 18th, 2018
Hands-on lab for QKS.
"Automatic Synthesis of Control Software for Discrete Time Hybrid Systems", Summer School on Formal Methods for Cyber-Physical Systems - Edition 2017: Automatic Synthesis of Controllers for Hybrid Systems. School in Natural Sciences and Engineering and the Department of Computer Science, University of Verona, September 16th, 2017