Login / Signup

N-ATL and ATL-G, Two Approaches for Goal Specification in Advanced Distributed Computing Systems.

Zhengyuan NingXianwei LaiShanli HuXiuli Wang
Published in: NCM (1) (2008)
Keyphrases
  • distributed computing systems
  • multi agent systems
  • model checking
  • reactive systems
  • temporal logic
  • alternating time temporal logic
  • load balancing