Login / Signup

Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications.

Wei WanJamal BentaharHamdi YahyaouiAbdessamad Ben Hamza
Published in: Appl. Intell. (2016)
Keyphrases
  • bayesian networks
  • probabilistic model
  • epistemic logic
  • artificial intelligence
  • image processing
  • incomplete information
  • expert systems
  • distributed systems
  • heuristic search
  • computation tree logic