Run-to-run disturbance rejection for feedforward path following of an adaptively controlled unmanned helicopter. - Johann C. Dauer; Timm Faulwasser; Sven Lorenz (CCA, 2015)

Towards Autonomy and Safety for Unmanned Aircraft Systems. - Christoph Torens; Johann C. Dauer; Florian Adolf (Advances in Aeronautical Informatics, 2018)

Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft. - Sebastian Schirmer; Christoph Torens; Florian Nikodem; Johann C. Dauer (SAFECOMP Workshops, 2018)

Monitoring with Verified Guarantees. - Johann C. Dauer; Bernd Finkbeiner; Sebastian Schirmer (RV, 2021)

Monitoring with verified guarantees. - Jan Baumeister; Johann C. Dauer; Bernd Finkbeiner; Sebastian Schirmer (Int. J. Softw. Tools Technol. Transf., 2023)

Temporal Behavior Trees: Robustness and Segmentation. - Sebastian Schirmer; Jasdeep Singh; Emily Jensen; Johann C. Dauer; Bernd Finkbeiner; Sriram Sankaranarayanan 001 (HSCC, 2024)

Temporal Behavior Trees - Segmentation. - Sebastian Schirmer; Jasdeep Singh; Emily Jensen; Johann C. Dauer; Bernd Finkbeiner; Sriram Sankaranarayanan 001 (HSCC, 2024)

Robust Maneuver Planning With Scalable Prediction Horizons: A Move Blocking Approach. - Philipp Schitz; Johann C. Dauer; Paolo Mercorelli (IEEE Control. Syst. Lett., 2024)

Investigating the Sim-to-Real Generalizability of Deep Learning Object Detection Models. - Joachim Rüter; Umut Durak; Johann C. Dauer (J. Imaging, 2024)

Temporal Behavior Trees. - Sebastian Schirmer; Jasdeep Singh; Emily Jensen; Johann C. Dauer; Bernd Finkbeiner; Sriram Sankaranarayanan 001 (Zenodo, 2024)