Parametric real-time reasoning.

Rajeev Alur, Thomas A. Henzinger, Moshe Y. Vardi

Browse the full STOC paper archive.