Alexander Rabinovich. Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities. In Franck Cassez, Claude Jard, editors, Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings. Volume 5215 of Lecture Notes in Computer Science, pages 93-108, Springer, 2008. [doi]
Abstract is missing.