A Formal Treatment of Agents, Goals and Operations Using Alternating-Time Temporal Logic.

Christophe Chareton Julien Brunel David Chemouil

Published in: SBMF (2011)

Keyphrases

alternating time temporal logic
formal treatment
model checking
imperfect information
multi agent systems
temporal logic
multi agent
multiple agents
natural language
intelligent agents
agent architecture
resource allocation
formal verification
temporal properties