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

DOI10.4230/LIPICS.CONCUR.2021.7MaRDI QIDQ6176099zbMATH OpenOpenAlexFDO

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

Publication date 21 August 2023

Full work available at URL https://hal.science/hal-03408379

zbMATH Keywords

Markov chainMarkov decision processquantified linear temporal logicvacuity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(1)

• Quantitative model checking of linear-time properties based on generalized possibility measures

This page was built for publication: Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6176099)