47 citations · 59 across the 8 of their papers we have counts for
9 papers
Extending RTLola with External Data Queries
Bernd Finkbeiner, Jakob Hirschler, Frederik Scheerer +1
Stream-based monitoring enables the concise specification of complex temporal properties. However, existing stream-based monitors are limited when dealing with large external data…
A Reward-Petri-Net Interpretation of Temporal Behavior Trees
Till Schmeil, Günther Waxenegger-Wilfing, Sebastian Schirmer
This paper introduces an interpretation of Temporal Behavior Trees (TBTs) as Reward-Petri-Nets (RPNs) for reinforcement learning (RL). Designing reward functions for complex, long-…
Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair
Aniruddh G. Puranic, Sebastian Schirmer, John S. Baras +1
Learning robot control policies from demonstrations is a powerful paradigm, yet real-world data is often suboptimal, noisy, or otherwise imperfect, posing significant challenges fo…
Trace Repair for Temporal Behavior Trees
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer +2
We present methods for repairing traces against specifications given as temporal behavior trees (TBT). TBT are a specification formalism for action sequences in robotics and cyber-…
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Jan Baumeister, Bernd Finkbeiner, Florian Kohn +4
This paper reports on the integration of runtime monitoring into fully-electric aircraft designed by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters.…
Monitoring with Verified Guarantees
Dauer J. C., Finkbeiner B., Schirmer S
Runtime monitoring is generally considered a light-weight alternative to formal verification. In safety-critical systems, however, the monitor itself is a critical component. For e…
RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer +2
The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture,…
Stream Runtime Monitoring on UAS
Florian-Michael Adolf, Peter Faymonville, Bernd Finkbeiner +2
Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In…
A High-Level LTL Synthesis Format: TLSF v1.1
Swen Jacobs, Felix Klein, Sebastian Schirmer
We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but…