Johann C. Dauer

According to our database, Johann C. Dauer authored at least 14 papers between 2015 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Trajectory Tracking Control Design for Autonomous Helicopters with Guaranteed Error Bounds.

Philipp Schitz, Johann C. Dauer, Paolo Mercorelli

CoRR, March, 2026

Robust Helicopter Ship Deck Landing With Guaranteed Timing Using Shrinking-Horizon Model Predictive Control.

Philipp Schitz, Paolo Mercorelli, Johann C. Dauer

CoRR, February, 2026

Trace Repair for Temporal Behavior Trees.

Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

There is no Model to Beat Them All: Recommendations for Deep Learning Model Selection When Training on Synthetic Images.

Joachim Rüter, Johann C. Dauer, Umut Durak

Proceedings of the Image Analysis and Processing - ICIAP 2025, 2025

2024

Temporal Behavior Trees.

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Dataset, September, 2024

Investigating the Sim-to-Real Generalizability of Deep Learning Object Detection Models.

Joachim Rüter, Umut Durak, Johann C. Dauer

J. Imaging, 2024

Robust Maneuver Planning With Scalable Prediction Horizons: A Move Blocking Approach.

Philipp Schitz, Johann C. Dauer, Paolo Mercorelli

IEEE Control. Syst. Lett., 2024

Temporal Behavior Trees - Segmentation.

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

Temporal Behavior Trees: Robustness and Segmentation.

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

Monitoring with verified guarantees.

Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer

Int. J. Softw. Tools Technol. Transf., August, 2023

2021

Monitoring with Verified Guarantees.

Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer

Proceedings of the Runtime Verification - 21st International Conference, 2021

2018

Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft.

Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer

Proceedings of the Computer Safety, Reliability, and Security, 2018

Towards Autonomy and Safety for Unmanned Aircraft Systems.

Christoph Torens, Johann C. Dauer, Florian Adolf

Proceedings of the Advances in Aeronautical Informatics, Technologies Towards Flight 4.0., 2018

2015

Run-to-run disturbance rejection for feedforward path following of an adaptively controlled unmanned helicopter.

Johann C. Dauer, Timm Faulwasser, Sven Lorenz

Proceedings of the 2015 IEEE Conference on Control Applications, 2015