Verification of Behavior Trees with Contingency Monitors (bibtex)

by Serena S. Serbinowska, Nicholas Potteiger, Anne M. Tumlin and Taylor T. Johnson

Reference:

Serena S. Serbinowska, Nicholas Potteiger, Anne M. Tumlin and Taylor T. Johnson, "Verification of Behavior Trees with Contingency Monitors", In 6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24), EPTCS, pp. 56–72, 2024.

Bibtex Entry:

@inproceedings{serbinowska2024fmas_rv,
  title = {Verification of Behavior Trees with Contingency Monitors},
  author = {Serena S. Serbinowska and Nicholas Potteiger and Anne M. Tumlin and Taylor T. Johnson},
  year = {2024},
  month = nov,
  booktitle = {6th International Workshop on Formal Methods for Autonomous Systems (FMAS'24)},
  volume = {411},
  pages = {56--72},
  publisher = {EPTCS},
  doi = {10.4204/EPTCS.411.4},
  keywords = {runtime verification, behavior trees, formal verification},
  publabel = {W30},
  pubtype = {W},
  arxiv = {2411.14162},
  dblp = {journals/corr/abs-2411-14162},
  s2id = {274165812},
  pdf = "research/serbinowska2024fmas_rv.pdf",
}