@article{contractgroundedbehaviortreesynthesisvia,
  title = {Contract-Grounded Behavior Tree Synthesis via Coding Agents},
  author = {Jonathan Salfity and Robert Blake Anderson and Mitch Pryor},
  year = {2026},
  eprint = {2607.12220},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2607.12220},
}