Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic.
Ron van der MeydenManas K. PatraPublished in: ACM Trans. Comput. Log. (2020)
Keyphrases
- epistemic logic
- model checking
- temporal epistemic
- temporal properties
- temporal logic
- linear temporal logic
- computation tree logic
- formal verification
- model checker
- modal logic
- bounded model checking
- formal specification
- bayesian networks
- inference rules
- symbolic model checking
- multi agent systems
- probabilistic model
- pspace complete
- formal methods
- transition systems
- multi faceted
- formal semantics
- satisfiability problem
- incomplete information
- temporal information