Sign in
Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications.
Wei Wan
Jamal Bentahar
Hamdi Yahyaoui
Abdessamad 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