%0 Conference Paper %1 conf/hybrid/RavanbakhshS15 %A Ravanbakhsh, Hadi %A Sankaranarayanan, Sriram %B HSCC %D 2015 %E Girard, Antoine %E Sankaranarayanan, Sriram %I ACM %K dblp %P 297-298 %T Counterexample-guided stabilization of switched systems using control lyapunov functions. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#RavanbakhshS15 %@ 978-1-4503-3433-4

@inproceedings{conf/hybrid/RavanbakhshS15, added-at = {2019-09-06T00:00:00.000+0200}, author = {Ravanbakhsh, Hadi and Sankaranarayanan, Sriram}, biburl = {https://www.bibsonomy.org/bibtex/2304e5c96957130ed4d62202fc2a374f1/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2015}, editor = {Girard, Antoine and Sankaranarayanan, Sriram}, ee = {https://doi.org/10.1145/2728606.2728647}, interhash = {b2c21590df51de0a7db173ab7975cadc}, intrahash = {304e5c96957130ed4d62202fc2a374f1}, isbn = {978-1-4503-3433-4}, keywords = {dblp}, pages = {297-298}, publisher = {ACM}, timestamp = {2019-09-07T11:41:00.000+0200}, title = {Counterexample-guided stabilization of switched systems using control lyapunov functions.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2015.html#RavanbakhshS15}, year = 2015 }