Login / Signup
Synthesizing Agent Protocols From LTL Specifications Against Multiple Partially-Observable Environments.
Paolo Felli
Giuseppe De Giacomo
Alessio Lomuscio
Published in:
KR (2012)
Keyphrases
</>
partially observable environments
multi agent systems
autonomous agents
multiagent systems
bounded model checking
multi agent
model checking
decision making
decision theoretic
cooperative
intelligent agents
resource allocation
temporal logic
multiple agents
partially observable