Model Checking Rational Agents.
Rafael H. BordiniMichael FisherWillem VisserMichael J. WooldridgePublished in: IEEE Intell. Syst. (2004)
Keyphrases
- model checking
- rational agents
- temporal logic
- mental states
- autonomous agents
- game theoretic
- automated verification
- coalition formation
- decision theory
- model checker
- formal verification
- formal specification
- belief revision
- temporal properties
- multi agent
- nonmonotonic logics
- verification method
- modal logic
- goal directed
- formal methods
- bounded model checking
- computation tree logic
- symbolic model checking
- epistemic logic
- lower bound
- game theory
- software engineering
- mobile robot
- multi agent systems
- artificial intelligence