A Formal Analysis of Required Cooperation in Multi-Agent Planning.

Yu Zhang Sarath Sreedharan Subbarao Kambhampati

Published in: ICAPS (2016)

Keyphrases

formal analysis
multi agent planning
multi agent
cooperative
ban logic
agent model
multi agent systems
formal methods
partial observability
reinforcement learning
autonomous agents