Some results on Parametric Temporal Logic

Parametric Temporal Logic extends linear temporal logic by allowing the temporal operators to additionally specify quantitative and parametric bounds on event occurrences. In this paper, we revisit and provide improved solutions to the four important problems of emptiness, universality, finiteness and construction considered in the literature for this logic.

► We revisit some decision problems for parametric temporal logic.
► For satisfiability, universality and finiteness problems new solutions are proposed.
► These solutions provide more scalable alternatives than existing ones.
► For construction problem inadequacy of linear predicate representation is shown.