A semantics for Behavior Trees using CSP with specification commands.
Robert ColvinIan J. HayesPublished in: Sci. Comput. Program. (2011)
Keyphrases
- constraint satisfaction problems
- specification language
- decision trees
- high level
- formal semantics
- operational semantics
- conceptual model
- constraint propagation
- specification languages
- action language
- conceptual schema
- decomposition methods
- state transition
- schema mappings
- constraint satisfaction
- heuristic search
- tree structure
- np complete
- query language
- search space