Johann C. Dauer

16 papers B 1C 1Misc 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Robust Helicopter Ship Deck Landing With Guaranteed Timing Using Shrinking-Horizon Model Predictive Control.
CoRR
Philipp Schitz, Paolo Mercorelli, Johann C. Dauer
2026 — conf
Trace Repair for Temporal Behavior Trees.
TACAS (1)
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2026 J jnl
Trajectory Tracking Control Design for Autonomous Helicopters with Guaranteed Error Bounds.
CoRR
Philipp Schitz, Johann C. Dauer, Paolo Mercorelli
2025 Misc conf
There is no Model to Beat Them All: Recommendations for Deep Learning Model Selection When Training on Synthetic Images.
ICIAP
Joachim Rüter, Johann C. Dauer, Umut Durak
2025 J jnl
Trace Repair for Temporal Behavior Trees.
CoRR
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2024 J jnl
Investigating the Sim-to-Real Generalizability of Deep Learning Object Detection Models.
J. Imaging
Joachim Rüter, Umut Durak, Johann C. Dauer
2024 J jnl
Robust Maneuver Planning With Scalable Prediction Horizons: A Move Blocking Approach.
CoRR
Philipp Schitz, Johann C. Dauer, Paolo Mercorelli
2024 J jnl
Robust Maneuver Planning With Scalable Prediction Horizons: A Move Blocking Approach.
IEEE Control. Syst. Lett.
Philipp Schitz, Johann C. Dauer, Paolo Mercorelli
2024 — conf
Temporal Behavior Trees - Segmentation.
HSCC
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2024 — conf
Temporal Behavior Trees: Robustness and Segmentation.
HSCC
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
2023 J jnl
Monitoring with verified guarantees.
Int. J. Softw. Tools Technol. Transf.
Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
2021 B conf
Monitoring with Verified Guarantees.
RV
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
2021 J jnl
Monitoring with Verified Guarantees.
CoRR
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
2018 — conf
Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft.
SAFECOMP Workshops
Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer
2018 — ch.
Towards Autonomy and Safety for Unmanned Aircraft Systems.
Advances in Aeronautical Informatics
Christoph Torens, Johann C. Dauer, Florian Adolf
2015 C conf
Run-to-run disturbance rejection for feedforward path following of an adaptively controlled unmanned helicopter.
CCA
Johann C. Dauer, Timm Faulwasser, Sven Lorenz