IEEE - Institute of Electrical and Electronics Engineers, Inc. - Parametric quantitative temporal reasoning

Proceedings. 14th Symposium on Logic in Computer Science

Author(s): Emerson, E.A. ; Trefler, R.J.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Trento, Italy, Italy
Conference Date: 5 July 1999
Page(s): 336 - 343
ISBN (Paper): 0-7695-0158-3
ISSN (Paper): 1043-6871
DOI: 10.1109/LICS.1999.782628
Regular:

We define Parameterized Real-Time Computation Tree Logic (PRTCTL), which allows quantitative temporal specifications to be parameterized over the natural numbers. Parameterized quantitative... View More

Advertisement