This paper addresses the problem of identifying the value of information held by a teammate on a distributed, multi-agent team. It focuses on a distributed scheduling task in whic...
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
Vig a construction schedule helps planners to identity potential construction problems prior to actual building construction. Planners must envision the sequence of construction, ...
Kathleen McKinney, John C. Kunz, Martin A. Fischer