CTL AgentSpeak(L): A specification language for agent programs.
Alejandro Guerra-HernándezJosé Martín Castro-ManzanoAmal El Fallah SeghrouchniPublished in: J. Algorithms (2009)
Keyphrases
- specification language
- agent programming
- formal specification
- model checking
- agent systems
- agent architecture
- programming language
- symbolic execution
- bdi agents
- game theoretic
- situation calculus
- multi agent
- description language
- dynamic logic
- multi agent systems
- mental states
- control program
- partial observability
- operational semantics
- linear temporal logic
- temporal logic
- software environment
- intelligent agents
- agent technology
- game theory
- automatic programming
- agent communication
- reverse engineering
- autonomous agents
- dynamic environments
- general purpose
- software engineering
- search algorithm