scientific article
From MaRDI portal
Publication:2771058
zbMath0986.68067MaRDI QIDQ2771058
François Laroussinie, Nicolas Markey, Philippe Schnoebelen
Publication date: 14 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17) Temporal logic (03B44)
Related Items
Efficient timed model checking for discrete-time systems ⋮ Specification and Verification of Multi-Agent Systems ⋮ Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic ⋮ Equivalence between model-checking flat counter systems and Presburger arithmetic ⋮ Branching-time logics with path relativisation ⋮ Unnamed Item ⋮ Temporal logics with language parameters ⋮ Strategic reasoning with a bounded number of resources: the quest for tractability ⋮ Model checking abilities of agents: a closer look ⋮ \(\text{BTL}_{2}\) and the expressive power of \(\text{ECTL}^{+}\) ⋮ A Logic for Reasoning about Rational Agents ⋮ Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy ⋮ Model checking for hybrid branching-time logics ⋮ Branching-Time Temporal Logics with Minimal Model Quantifiers ⋮ Reasoning about temporal properties of rational play ⋮ The complexity of propositional linear temporal logics in simple cases ⋮ Is your model checker on time? On the complexity of model checking for timed modal logics
