Model Checking Metric Temporal Logic over Automata with One Counter.

Karin Quaas

Browse the full LATA paper archive.