TY  - RPRT
TI  - Counter-Example Guided Synthesis of Control Lyapunov Functions for Switched Systems
AU  - Hadi Ravanbakhsh
AU  - Sriram Sankaranarayanan
PY  - 2015
UR  - https://arxiv.org/abs/1509.03688
ID  - 1509.03688
ER  -