OpenAlex | Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking

Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking

Work

Year: 2021

Type: preprint

Abstract: Quantified linear temporal logic (QLTL) is an ω-regular extension of LTL allowing quantification over propositional variables. We study the model checking problem of QLTL-formulas over Markov chains a... more

Source: HAL (Le Centre pour la Communication Scientifique Directe)

Authors Jakob Piribauer, Christel Baier, Nathalie Bertrand, Ocan Sankur

Institution TU Dresden

Cites:

Cited by: 1

Related to: 10

Citation percentile (by year/subfield): 73.81

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Peace, justice, and strong institutions

Open Access status: green