TY  - RPRT
TI  - Contract-Grounded Behavior Tree Synthesis via Coding Agents
AU  - Jonathan Salfity
AU  - Robert Blake Anderson
AU  - Mitch Pryor
PY  - 2026
UR  - https://arxiv.org/abs/2607.12220
ID  - 2607.12220
ER  -