AN IMPLEMENTATION OF A MULTI-AGENT PLAN SYNCHRONIZER

Strips: A new approach to the application of theorem proving to problem solving

1971 • 3,943 citations

Communicating sequential processes

1983 • 3,865 citations

Communicating sequential processes

1978 • 3,386 citations

COMMUNICATION AND INTERACTION IN MULTI-AGENT PLANNING**This research was supported in part by ONR contract N000014-80-C-0296 and in part by AFOSR contract F49620-79-C-0188.

1988 • 167 citations

Temporal logic can be more expressive

1981 • 133 citations

A heuristic search algorithm with modifiable estimate

1984 • 93 citations

Reasoning About Actions and Plans

1986 • 55 citations

Synthesis of communicating processes from Temporal Logic specifications

2005 • 49 citations