✦ LIBER ✦

Linear-time temporal logics with Presburger constraints: an overview ★

✍ Scribed by Demri, Stéphane

Book ID: 126677798
Publisher: Editions Lavoisier
Year: 2006
Tongue: English
Weight: 315 KB
Volume: 16
Category: Article
ISSN: 1166-3081
DOI: 10.3166/jancl.16.311-347

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Expressively Complete Linear Time Tem

An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces

✍ P.S. Thiagarajan; I. Walukiewicz 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 203 KB

An Algebraic Study of Tense Logics with

An Algebraic Study of Tense Logics with Linear Time

✍ R. A. Bull 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 888 KB

Timed tree automata with an application

Timed tree automata with an application to temporal logic

✍ Salvatore La Torre; Margherita Napoli 📂 Article 📅 2001 🏛 Springer-Verlag 🌐 English ⚖ 210 KB

The complexity of the temporal logic wit

The complexity of the temporal logic with “until” over general linear time

✍ M. Reynolds 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 350 KB

It is shown that the decision problem for the temporal logic with the strict until operator over general linear time is PSPACE-complete. This shows that it is no harder to reason with arbitrary linear orderings than with discrete linear time temporal logics. New techniques are used to give a PSPACE

Modeling and testing object-oriented dis

Modeling and testing object-oriented distributed systems with linear-time temporal logic

✍ F. Dietrich; X. Logean; J.-P. Hubaux 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 499 KB

Failure Diagnosis of Discrete-Event Syst

Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications

✍ S. Jiang; R. Kumar 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 317 KB