An efficient algorithm for monitoring practical TPTL specifications.

Adel Dokhanchi, Bardh Hoxha, Cumhur Erkan Tuncali, Georgios Fainekos

Browse the full MEMOCODE paper archive.