47 citations · 59 across the 8 of their papers we have counts for
4 papers · 1 filter
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…
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 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…
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…