@inProceedings{
 title = {Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications},
 type = {inProceedings},
 year = {2008},
 identifiers = {[object Object]},
 pages = {542-555},
 publisher = {Springer},
 id = {0bf255f9-2070-33d1-b334-5519a1875de5},
 created = {2017-04-26T09:06:19.201Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:19.201Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {YB08},
 source_type = {inproceedings},
 bibtype = {inProceedings},
 author = {Yordanov, Boyan and Belta, Calin},
 booktitle = {HSCC'08}
}

{"_id":"GdxaNQ7j8HscdsFHf","bibbaseid":"yordanov-belta-parametersynthesisforpiecewiseaffinesystemsfromtemporallogicspecifications-2008","downloads":0,"creationDate":"2017-04-26T09:07:48.234Z","title":"Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications","author_short":["Yordanov, B.","Belta, C."],"year":2008,"bibtype":"inProceedings","biburl":null,"bibdata":{"title":"Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications","type":"inProceedings","year":"2008","identifiers":"[object Object]","pages":"542-555","publisher":"Springer","id":"0bf255f9-2070-33d1-b334-5519a1875de5","created":"2017-04-26T09:06:19.201Z","file_attached":false,"profile_id":"93e9c71a-776d-397a-8da2-55f5d4b0425c","group_id":"337127a6-4a46-3af3-a559-f76746200fef","last_modified":"2017-04-26T09:06:19.201Z","read":false,"starred":false,"authored":false,"confirmed":"true","hidden":false,"citation_key":"YB08","source_type":"inproceedings","bibtype":"inProceedings","author":"Yordanov, Boyan and Belta, Calin","booktitle":"HSCC'08","bibtex":"@inProceedings{\n title = {Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications},\n type = {inProceedings},\n year = {2008},\n identifiers = {[object Object]},\n pages = {542-555},\n publisher = {Springer},\n id = {0bf255f9-2070-33d1-b334-5519a1875de5},\n created = {2017-04-26T09:06:19.201Z},\n file_attached = {false},\n profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},\n group_id = {337127a6-4a46-3af3-a559-f76746200fef},\n last_modified = {2017-04-26T09:06:19.201Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {YB08},\n source_type = {inproceedings},\n bibtype = {inProceedings},\n author = {Yordanov, Boyan and Belta, Calin},\n booktitle = {HSCC'08}\n}","author_short":["Yordanov, B.","Belta, C."],"bibbaseid":"yordanov-belta-parametersynthesisforpiecewiseaffinesystemsfromtemporallogicspecifications-2008","role":"author","urls":{},"downloads":0},"search_terms":["parameter","synthesis","piecewise","affine","systems","temporal","logic","specifications","yordanov","belta"],"keywords":[],"authorIDs":[]}