RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.

Jan Baumeister, Bernd Finkbeiner, Sebastian Schirmer, Maximilian Schwenger, Christoph Torens

Browse the full CAV paper archive.