5 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.…