Login / Signup

On Probabilistic Computation Tree Logic.

Frank CiesinskiMarcus Größer
Published in: Validation of Stochastic Systems (2004)
Keyphrases
  • computation tree logic
  • model checking
  • probabilistic model
  • temporal logic
  • bayesian networks
  • probabilistic logic
  • epistemic logic
  • cooperative
  • temporal properties