Sign in

Generating Probabilistic Temporal Logic Formulas from Probabilistic Scenario-Based Specifications.

Wenrui LiPengcheng ZhangZhijian WangZhongxue Yang
Published in: TASE (2011)
Keyphrases
  • temporal logic
  • model checking
  • concurrent systems
  • uncertain data
  • bounded model checking
  • distributed systems
  • query evaluation
  • satisfiability problem
  • formal specification
  • probabilistic databases