Login / Signup
Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking.
Jakob Piribauer
Christel Baier
Nathalie Bertrand
Ocan Sankur
Published in:
CONCUR (2021)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
bayesian networks
software engineering
dynamic programming
probabilistic model
sufficient conditions
generative model
heuristic search