The Structure and Verification of Plan-Based Joint Intentions.

Wolfgang Balzer Raimo Tuomela

Published in: Int. J. Cooperative Inf. Syst. (1997)

Keyphrases

model checking
structural information
decision trees
real time
artificial intelligence
data structure
geometric structure