Formalizing Stateful Behavior Trees (bibtex)

by Serena S. Serbinowska, Preston K. Robinette, Gabor Karsai and Taylor T. Johnson

Reference:

Serena S. Serbinowska, Preston K. Robinette, Gabor Karsai and Taylor T. Johnson, "Formalizing Stateful Behavior Trees", In 6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24), EPTCS, pp. 201–218, 2024.

Bibtex Entry:

@inproceedings{serbinowska2024fmas_sbt,
  title = {Formalizing Stateful Behavior Trees},
  author = {Serena S. Serbinowska and Preston K. Robinette and Gabor Karsai and Taylor T. Johnson},
  year = {2024},
  month = nov,
  booktitle = {6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24)},
  volume = {411},
  pages = {201--218},
  publisher = {EPTCS},
  doi = {10.4204/EPTCS.411.14},
  keywords = {behavior trees, syntax and semantics, formal verification},
  publabel = {W31},
  pubtype = {W},
  arxiv = {2411.14165},
  dblp = {journals/corr/abs-2411-14165},
  s2id = {274165889},
  pdf = "research/serbinowska2024fmas_sbt.pdf",
}