Model Checking Properties of Multi-agent Systems with Imperfect Information and Imperfect Recall.
Jerzy PileckiMarek A. BednarczykWojciech JamrogaPublished in: IEEE Conf. on Intelligent Systems (1) (2014)
Keyphrases
- imperfect information
- alternating time temporal logic
- model checking
- game theoretic
- temporal logic
- formal specification
- formal verification
- model checker
- game playing
- finite state
- game theory
- computation tree logic
- game tree
- epistemic logic
- transition systems
- formal methods
- finite automata
- symbolic model checking
- temporal properties
- verification method
- bounded model checking
- software engineering