BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees (bibtex)

by Serena Serbinowska and Taylor T. Johnson

Reference:

Serena Serbinowska and Taylor T. Johnson, "BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees", In 20th International Conference on Software Engineering and Formal Methods (SEFM'22), Springer, pp. 307–323, 2022.

Bibtex Entry:

@inproceedings{serbinowska2022sefm,
  title = {BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees},
  author = {Serena Serbinowska and Taylor T. Johnson},
  year = {2022},
  month = sep,
  booktitle = {20th International Conference on Software Engineering and Formal Methods (SEFM'22)},
  pages = {307--323},
  publisher = {Springer},
  doi = {10.1007/978-3-031-17108-6_19},
  publabel = {C36},
  pubtype = {C},
  dblp = {conf/sefm/SerbinowskiJ22},
  pdf = "research/serbinowska2022sefm.pdf",
}