Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola

Jan Baumeister, Bernd Finkbeiner, Eduard Müller +2

RTLola is a stream-based specification language designed for asynchronous real-time systems. While many temporal specifications naturally refer to future behavior, RTLola currently…