Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic.
Ron van der MeydenManas K. PatraPublished in: CoRR (2015)
Keyphrases
- epistemic logic
- model checking
- temporal epistemic
- temporal properties
- temporal logic
- model checker
- computation tree logic
- modal logic
- linear temporal logic
- formal specification
- multi agent systems
- logical framework
- formal verification
- probabilistic model
- bayesian networks
- transition systems
- multi faceted
- pspace complete
- bounded model checking
- satisfiability problem
- symbolic model checking
- probabilistic reasoning
- inference rules
- software engineering
- incomplete information
- artificial intelligence
- temporal reasoning
- mathematical morphology
- knowledge base