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
{"_id":"CHLDxkFrAcBMTtTTa","bibbaseid":"frehse-jha-krogh-acounterexampleguidedapproachtoparametersynthesisforlinearhybridautomata-2008","downloads":0,"creationDate":"2017-04-26T09:07:48.293Z","title":"A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata","author_short":["Frehse, G.","Jha, S., K.","Krogh, B., H."],"year":2008,"bibtype":"inProceedings","biburl":null,"bibdata":{"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","bibtex":"@inProceedings{\n title = {A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata},\n type = {inProceedings},\n year = {2008},\n pages = {187-200},\n id = {d7f12a1e-e348-357c-ab8d-99d18193e735},\n created = {2017-04-26T09:06:21.263Z},\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:21.263Z},\n read = {false},\n starred = {false},\n authored = {false},\n confirmed = {true},\n hidden = {false},\n citation_key = {FJK08},\n source_type = {inproceedings},\n bibtype = {inProceedings},\n author = {Frehse, Goran and Jha, Sumit Kumar and Krogh, Bruce H},\n booktitle = {HSCC}\n}","author_short":["Frehse, G.","Jha, S., K.","Krogh, B., H."],"bibbaseid":"frehse-jha-krogh-acounterexampleguidedapproachtoparametersynthesisforlinearhybridautomata-2008","role":"author","urls":{},"downloads":0},"search_terms":["counterexample","guided","approach","parameter","synthesis","linear","hybrid","automata","frehse","jha","krogh"],"keywords":[],"authorIDs":[]}