CTL AgentSpeak(L): a specification language for agent programs.
Alejandro Guerra-HernándezJosé Martín Castro-ManzanoAmal El Fallah SeghrouchniPublished in: LA-NMR (2008)
Keyphrases
- specification language
- agent programming
- formal specification
- model checking
- symbolic execution
- agent systems
- agent architecture
- bdi agents
- multi agent
- description language
- game theoretic
- programming language
- situation calculus
- dynamic logic
- multi agent systems
- partial observability
- control program
- operational semantics
- temporal logic
- mental states
- linear temporal logic
- intelligent agents
- reverse engineering
- software environment
- agent communication
- formal verification
- model checker
- agent model
- artificial intelligence
- agent technology
- autonomous agents
- search space
- cooperative
- reinforcement learning
- high level