BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. - Serena Serafina Serbinowska; Taylor T. Johnson (CoRR, 2022)

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees). - Serena Serbinowska; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai; Taylor T. Johnson (Zenodo, 2023)

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees). - Serena Serbinowska; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai; Taylor T. Johnson (Zenodo, 2023)

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets. - Preston K. Robinette; Diego Manzanas Lopez; Serena Serbinowska; Kevin Leach; Taylor T. Johnson (FormaliSE@ICSE, 2024)

Verification of Behavior Trees with Contingency Monitors. - Serena Serafina Serbinowska; Nicholas Potteiger; Anne M. Tumlin; Taylor T. Johnson (FMAS@iFM, 2024)

Formalizing Stateful Behavior Trees. - Serena Serafina Serbinowska; Preston Robinette; Gabor Karsai; Taylor T. Johnson (FMAS@iFM, 2024)

2024 SEFM Artifact for BehaVerify (Formalizing Stateful Behavior Trees). - Serena Serafina Serbinowska; Preston Robinette; Gabor Karsai; Taylor Thomas Johnson (Zenodo, 2024)

Neuro-Symbolic Behavior Trees (NSBTs) and Their Verification. - Serena Serafina Serbinowska; Diego Manzanas Lopez; Dung Thuy Nguyen; Taylor T. Johnson (NeuS, 2025)