Publications

Papers describing BehaVerify’s methods and results.

2025

• Neuro-Symbolic Behavior Trees and Their Verification. Serbinowska, Manzanas Lopez, Nguyen, Johnson. NeuS 2025. https://proceedings.mlr.press/v288/serbinowska25a.html

2024

• Formalizing Stateful Behavior Trees. Serbinowska, Robinette, Potteiger, Karsai, Johnson. FMAS 2024. https://dx.doi.org/10.4204/EPTCS.411.14

• Verification of Behavior Trees with Contingency Monitors. Serbinowska, Potteiger, Tumlin, Johnson. FMAS 2024. https://dx.doi.org/10.4204/EPTCS.411.4

2022

• BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees. Serbinowska, Johnson. SEFM 2022, LNCS 13550, pp. 307-323. https://doi.org/10.1007/978-3-031-17108-6_19

Reproducibility artefacts

Each publication’s materials are checked in under REPRODUCIBILITY/<year>_<venue>/.