Login / Signup

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

Jakob PiribauerChristel BaierNathalie BertrandOcan 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