TY  - RPRT
TI  - Learning Control Lyapunov Functions from Counterexamples and Demonstrations
AU  - Hadi Ravanbakhsh
AU  - Sriram Sankaranarayanan
PY  - 2019
DO  - 10.1007/s10514-018-9791-9
UR  - https://arxiv.org/abs/1804.05285
ID  - 1804.05285
ER  -