Some results on Parametric Temporal Logic

Authors:
Manoj G. Dixit;S. Ramesh;Pallab Dasgupta
Affiliations:
India Science Lab, General Motors Global Research & Development, Bangalore, India;India Science Lab, General Motors Global Research & Development, Bangalore, India;Indian Institute of Technology, Kharagpur, India
Venue:
Information Processing Letters
Year:
2011

Citing 4
Cited 0

The complexity of propositional linear temporal logics

Journal of the ACM (JACM)
Parametric temporal logic for “model measuring”

ACM Transactions on Computational Logic (TOCL)
Decision Procedures: An Algorithmic Point of View

Decision Procedures: An Algorithmic Point of View
Taming the component timing: a CBD methodology for real-time embedded systems

Proceedings of the Conference on Design, Automation and Test in Europe

Quantified Score

Hi-index	0.89

Visualization

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.