TY  - RPRT
TI  - Counterexample Guided Synthesis of Switched Controllers for Reach-While-Stay Properties
AU  - Hadi Ravanbakhsh
AU  - Sriram Sankaranarayanan
PY  - 2015
UR  - https://arxiv.org/abs/1505.01180
ID  - 1505.01180
ER  -