Designing Behavior Trees from Goal-Oriented LTLf Formulas.

Aadesh Neupane Michael A. Goodrich

Published in: CoRR (2023)

Keyphrases

goal oriented
requirements analysis
requirements engineering
decision trees
behavior patterns
neural network
modal logic
human behavior
data marts