Login / Signup

Modeling Cooperative Problem Solving Process with Extended Alternating-time Temporal Logic.

Zhengyuan NingXianwei LaiShanli HuQingqing Zhan
Published in: SNPD (2) (2007)
Keyphrases
  • cooperative problem solving
  • search algorithm
  • multi agent systems
  • special case
  • branch and bound