Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching.

Holger Hermanns Michael Rettelbach Thorsten Weiss

Published in: Comput. J. (1995)

Keyphrases

initial state
search tree
finite state
branch and bound
human actions
formal model
neural network
decision making
goal directed
action selection
objective function
markov chain
domain independent
formal methods
current situation