Neuro-Symbolic Behavior Trees and Their Verification (bibtex)

by Serena Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen and Taylor T. Johnson

Reference:

Serena Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen and Taylor T. Johnson, "Neuro-Symbolic Behavior Trees and Their Verification", In 2nd International Conference on Neuro-symbolic Systems (NeuS'25), PMLR, 2025.

Bibtex Entry:

@inproceedings{serbinowska2025neus,
  title = {Neuro-Symbolic Behavior Trees and Their Verification},
  author = {Serena Serbinowska and Diego Manzanas Lopez and Dung Thuy Nguyen and Taylor T. Johnson},
  year = {2025},
  month = may,
  booktitle = {2nd International Conference on Neuro-symbolic Systems (NeuS'25)},
  publisher = {PMLR},
  keywords = {behavior trees, neurosymbolic systems, verification},
  publabel = {C54},
  pubtype = {C},
  pdf = "research/serbinowska2025neus.pdf",
}