Model Checking Probabilistic Epistemic Logic for Probabilistic Multiagent Systems.
Chen FuAndrea TurriniXiaowei HuangLei SongYuan FengLijun ZhangPublished in: IJCAI (2018)
Keyphrases
- model checking
- epistemic logic
- multiagent systems
- temporal logic
- computation tree logic
- temporal properties
- multi agent systems
- model checker
- finite state
- modal logic
- formal verification
- inference rules
- logical framework
- bayesian networks
- formal specification
- formal methods
- multi agent
- formal semantics
- mathematical theory
- artificial intelligence
- description language
- autonomous agents
- cooperative
- transition systems