Metric interval temporal logic specification elicitation and debugging.

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

Browse the full MEMOCODE paper archive.