Metric Interval Temporal Logic Specification Elicitation and Debugging
| Title | Metric Interval Temporal Logic Specification Elicitation and Debugging |
| Publication Type | Miscellaneous |
| Year of Publication | 2016 |
| Authors | Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos |
| Keywords | 1350420 |
| Citation Key | DokhanchiHF16arxiv |