Planning for Automated Testing of Implicit Constraints in Behavior Trees.
Uwe KöckemannDaniele CalisiGuglielmo GemignaniJennifer RenouxAlessandro SaffiottiPublished in: ICAPS (2023)
Keyphrases
- constraint satisfaction
- decision trees
- fully automated
- search based testing
- heuristic search
- decision support
- search algorithm
- objective function
- planning problems
- neural network
- linear constraints
- initial conditions
- stochastic domains
- state space
- test cases
- test data
- human behavior
- ai planning
- mixed initiative
- compact representations
- data sets