3641513.3652534.pdf (597.55 kB)

Temporal Behavior Trees -- Segmentation

Download (597.55 kB)
conference contribution
posted on 2024-05-22, 13:44 authored by Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C Dauer, Bernd FinkbeinerBernd Finkbeiner, Sriram Sankaranarayanan
We present our tool for the segmentation of temporal behavior trees (TBT), a novel formalism for monitoring specifications. TBTs can be easily retrofitted to behavior trees, commonly used to program robotic applications. Our tool supports the robustness semantics of TBT and generates trace segmentations. In other words, given a TBT specification and a trace, it determines the optimal assignment of TBT nodes to sub-traces. To illustrate its application, we use the example of an autonomous ship deck landing. We showcase the user inputs required and demonstrate how the outputs can be interpreted to identify challenging task aspects, contributing to a comprehensive system analysis.


Primary Research Area

  • Reliable Security Guarantees

Name of Conference

ACM International Conference on Hybrid Systems: Computation and Control (HSCC)

Page Range



Association for Computing Machinery (ACM)

Open Access Type

  • Not Open Access


@conference{Schirmer:Singh:Jensen:Dauer:Finkbeiner:Sankaranarayanan:2024, title = "Temporal Behavior Trees -- Segmentation", author = "Schirmer, Sebastian" AND "Singh, Jasdeep" AND "Jensen, Emily" AND "Dauer, Johann C" AND "Finkbeiner, Bernd" AND "Sankaranarayanan, Sriram", year = 2024, month = 5, pages = "1--2", publisher = "Association for Computing Machinery (ACM)", doi = "10.1145/3641513.3652534" }