TY  - RPRT
TI  - RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft
AU  - Jan Baumeister
AU  - Bernd Finkbeiner
AU  - Sebastian Schirmer
AU  - Maximilian Schwenger
AU  - Christoph Torens
PY  - 2020
UR  - https://arxiv.org/abs/2004.06488
ID  - 2004.06488
ER  -