Path Checking for MTL and TPTL over Data Words.

Shiguang Feng, Markus Lohrey, Karin Quaas

Browse the full DLT paper archive.