Back to the Future: Towards a Theory of Timed Regular Languages

Rajeev Alur, Thomas A. Henzinger

Browse the full FOCS paper archive.