BehaVerify: A Formal Verification Tool for Behavior Trees (bibtex)

by Serena Serbinowska, Ben Wooding, Diego Manzanas Lopez, Luke Nam, Anne M. Tumlin, Nicholas Potteiger, Hongchao Zhang and Taylor T. Johnson

View PDF

Reference:

Serena Serbinowska, Ben Wooding, Diego Manzanas Lopez, Luke Nam, Anne M. Tumlin, Nicholas Potteiger, Hongchao Zhang and Taylor T. Johnson, "BehaVerify: A Formal Verification Tool for Behavior Trees", In 8th International Workshop on Formal Methods for Autonomous Systems (FMAS'26), Southampton, UK (to appear), 2026.

Bibtex Entry:

@inproceedings{serbinowska2026fmas,
  title = {BehaVerify: A Formal Verification Tool for Behavior Trees},
  author = {Serena Serbinowska and Ben Wooding and Diego Manzanas Lopez and Luke Nam and Anne M. Tumlin and Nicholas Potteiger and Hongchao Zhang and Taylor T. Johnson},
  year = {2026},
  month = nov,
  booktitle = {8th International Workshop on Formal Methods for Autonomous Systems (FMAS'26), Southampton, UK (to appear)},
  url = {https://fmasworkshop.github.io/FMAS2026/},
  publabel = {W35},
  pubtype = {W},
}