Plan Generation via Behavior Trees Obtained from Goal-Oriented LTLf Formulas.

Aadesh Neupane Michael A. Goodrich Eric G. Mercer

Published in: AAMAS Workshops (2023)

Keyphrases

goal oriented
plan generation
decision trees
artificial intelligence
requirements analysis
reinforcement learning
heuristic search
plan recognition
requirements engineering