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

DOI10.4230/LIPICS.CONCUR.2021.7OpenAlexW3193965032MaRDI QIDQ6176099

Jakob Piribauer, Ocan Sankur, Nathalie Bertrand, Christel Baier

Publication date: 21 August 2023

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

zbMATH Keywords

Markov chainMarkov decision processvacuityquantified linear temporal logic

Mathematics Subject Classification ID

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

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