Login / Signup

A Probabilistic Temporal Logic That Can Model Reasoning about Evidence.

Dragan DoderZoran MarkovicZoran OgnjanovicAleksandar PerovicMiodrag Raskovic
Published in: FoIKS (2010)
Keyphrases
  • temporal logic
  • probabilistic model
  • model checking
  • software engineering
  • markov chain
  • domain independent
  • modal logic
  • belief functions