TY  - RPRT
TI  - A Counter-Example Guided Framework for Robust Synthesis of Switched Systems Using Control Certificates
AU  - Hadi Ravanbakhsh
AU  - Sriram Sankaranarayanan
PY  - 2016
UR  - https://arxiv.org/abs/1510.06108
ID  - 1510.06108
ER  -