Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract).
Ron van der MeydenManas K. PatraPublished in: TARK (2015)
Keyphrases
- extended abstract
- epistemic logic
- model checking
- temporal epistemic
- temporal properties
- temporal logic
- model checker
- linear temporal logic
- modal logic
- computation tree logic
- formal verification
- formal specification
- probabilistic model
- multi agent systems
- symbolic model checking
- bounded model checking
- logical framework
- multi faceted
- inference rules
- transition systems
- mathematical theory
- pspace complete
- formal semantics
- formal methods
- np complete
- bayesian networks
- planning domains
- conditional probabilities
- temporal information