CTL AgentSpeak(L): a specification language for agent programs.
['Alejandro Guerra-Hernández', 'José Martín Castro-Manzano', 'Amal El Fallah-Seghrouchni']
CTL AgentSpeak(L): a specification language for agent programs.