Model checking agent programming languages.
Louise A. DennisMichael FisherMatthew P. WebsterRafael H. BordiniPublished in: Autom. Softw. Eng. (2012)
Keyphrases
- model checking
- agent programming
- temporal logic
- situation calculus
- game theoretic
- agent systems
- formal specification
- partial observability
- finite state
- mental states
- multi agent
- dynamic logic
- operational semantics
- verification method
- knowledge base
- planning domains
- control program
- intelligent agents
- orders of magnitude