Sebastian Schirmer

Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

Papers

Total Citations

H-Index

About

Sebastian Schirmer is a leading researcher at the intersection of formal methods and robotics, with a primary focus on specification formalisms, temporal logic, and trace analysis for autonomous systems. His most notable contribution is the introduction of **Temporal Behavior Trees (TBT)** , a novel specification formalism inspired by the behavior trees widely used in robotic programming. This work, published in 2024, provides a robust framework for defining and verifying complex robot behaviors. A key innovation is the concept of **trace segmentation**, which allows for the optimal splitting of execution traces to align with TBT specifications, enabling more precise debugging and performance analysis. While his most-cited paper currently holds 3 citations, reflecting the recency of this groundbreaking work, its foundational nature is poised to significantly influence how robotic systems are specified and validated. Schirmer’s research bridges the gap between practical robotic programming and rigorous formal verification, offering powerful tools for ensuring the reliability and correctness of autonomous systems in real-world applications.