Serena S. Serbinowska

Papers

Total Citations

H-Index

About

Dr. Serena S. Serbinowska is a rising authority in formal methods for robotics, specializing in the verification of Behavior Trees (BTs)—high-level controllers increasingly used in safety-critical robotic mission planning. Her work bridges the gap between practical robotic control and rigorous formal verification, ensuring that autonomous systems behave predictably and correctly. Her most influential paper, "BehaVerify: Verifying Temporal Logic Specifications for Behavior Trees" (2022, 8 citations), introduces a novel framework that translates BTs into formal models amenable to model checking, enabling engineers to verify temporal logic properties before deployment. Building on this foundation, her 2024 work "Formalizing Stateful Behavior Trees" (4 citations) provides a comprehensive formal syntax and semantics for BTs with internal state, addressing a critical gap in the literature. Though early in her career, Serbinowska’s contributions are already shaping how the robotics community approaches safety assurance, offering tools that make formal verification accessible to practitioners. Her research is particularly impactful for autonomous systems operating in unpredictable environments, where correctness is paramount.