| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 427850 | Information Processing Letters | 2011 | 5 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Manoj G. Dixit, S. Ramesh, Pallab Dasgupta,