Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniele Masti, Filippo Fabiani, Giorgio Gnecco, Alberto Bemporad. Counter-Example Guided Inductive Synthesis of Control Lyapunov Functions for Uncertain Systems. IEEE Control Systems Letters, 7:2047-2052, 2023. [doi]

This author has not been identified. Look up 'Daniele Masti' in GoogleThis author has not been identified. Look up 'Filippo Fabiani' in GoogleThis author has not been identified. Look up 'Giorgio Gnecco' in GoogleThis author has not been identified. Look up 'Alberto Bemporad' in Google

runs on WebDSL