A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems.
Karsten MartinyRalf MöllerPublished in: ICAART (2) (2015)
Keyphrases
- temporal logic
- multi agent systems
- modal operators
- epistemic logic
- model checking
- belief revision
- modal logic
- satisfiability problem
- concurrent systems
- model checker
- mazurkiewicz traces
- multi agent
- bounded model checking
- linear temporal logic
- agent architecture
- computation tree logic
- inference rules
- cooperative
- transition systems
- domain specific
- formal specification language
- reinforcement learning