A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. Frehse, G., Jha, S., K., & Krogh, B., H. In HSCC, pages 187-200, 2008.
bibtex   
@inProceedings{
 title = {A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata},
 type = {inProceedings},
 year = {2008},
 pages = {187-200},
 id = {d7f12a1e-e348-357c-ab8d-99d18193e735},
 created = {2017-04-26T09:06:21.263Z},
 file_attached = {false},
 profile_id = {93e9c71a-776d-397a-8da2-55f5d4b0425c},
 group_id = {337127a6-4a46-3af3-a559-f76746200fef},
 last_modified = {2017-04-26T09:06:21.263Z},
 read = {false},
 starred = {false},
 authored = {false},
 confirmed = {true},
 hidden = {false},
 citation_key = {FJK08},
 source_type = {inproceedings},
 bibtype = {inProceedings},
 author = {Frehse, Goran and Jha, Sumit Kumar and Krogh, Bruce H},
 booktitle = {HSCC}
}
Downloads: 0