✦ LIBER ✦

∞-Regular temporal logic and its model checking problem

✍ Scribed by Kiyoharu Hamaguchi; Hiromi Hiraishi; Shuzo Yajima

Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 888 KB
Volume: 103
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(92)90012-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fully Symbolic Unbounded Model Checking

Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1

✍ Magdalena Kacprzak; Wojciech Penczek 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 395 KB

A Sat-Based Approach to Unbounded Model

A Sat-Based Approach to Unbounded Model Checking for Alternating-Time Temporal Epistemic Logic

✍ M. Kacprzak; W. Penczek 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 210 KB

Comparing model checking and logical rea

Comparing model checking and logical reasoning for real-time systems

✍ Henning Dierks 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 242 KB

Temporal scenario modelling and recognit

Temporal scenario modelling and recognition based on possibilistic logic

✍ Michel Grabisch 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 295 KB

We propose in this paper a new approach for the modelling and recognition of temporal scenarios. A scenario is represented by three different structures. The first one models the logical dependency between the elements of the scenario, using possibilistic logic, while the second one is the minimal t

Stable generated models, partial tempora

Stable generated models, partial temporal logic and disjunctive defaults

✍ Joeri Engelfriet; Heinrich Herre 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 220 KB

Model Theoretic Syntax and Parsing: An A

Model Theoretic Syntax and Parsing: An Application to Temporal Logic

✍ Adi Palm 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 456 KB