Login / Signup
A Formal Analysis of Required Cooperation in Multi-agent Planning.
Yu Zhang
Subbarao Kambhampati
Published in:
CoRR (2014)
Keyphrases
</>
formal analysis
multi agent planning
multi agent
cooperative
ban logic
artificial intelligence
agent model
formal methods
multi agent systems
mobile robot
domain specific