On Metric Temporal Logic and Faulty Turing Machines.

Jol Ouaknine, James Worrell

Browse the full FOSSACS paper archive.