Agents and Roles: Refinement in Alternating-Time Temporal Logic.

Mark Ryan Pierre-Yves Schobbens

Published in: ATAL (2001)

Keyphrases

alternating time temporal logic
model checking
imperfect information
multi agent
multi agent systems
multiple agents
role assignment
multiagent systems
intelligent agents
special case
autonomous agents
temporal logic