Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems (Extended Version)
| Title | Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems (Extended Version) |
| Publication Type | Miscellaneous |
| Year of Publication | 2016 |
| Authors | Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos |
| Keywords | 1350420 |
| Citation Key | HoxhaDF16arxiv |