VERDI 2023

Speaker

Sergio Mover

Ecole Polytechnique, France.

Talks at this conference:
 14:50 SMT-Based Stability Verification of an Industrial Switched PI Control Systems

 Overview