Johann C. Dauer

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

Temporal Behavior

Joint Segmentation

Structural Engineering

Top Venues

IEEE Control. Syst. Lett.

SAFECOMP Workshops

Publications

Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
Temporal Behavior Trees - Segmentation. HSCC (2024)
Sebastian Schirmer, Jasdeep Singh, Emily Jensen, Johann C. Dauer, Bernd Finkbeiner, Sriram Sankaranarayanan
Temporal Behavior Trees: Robustness and Segmentation. HSCC (2024)
Philipp Schitz, Johann C. Dauer, Paolo Mercorelli
Robust Maneuver Planning With Scalable Prediction Horizons: A Move Blocking Approach. IEEE Control. Syst. Lett. 8 (2024)
Jan Baumeister, Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
Monitoring with verified guarantees. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
Monitoring with Verified Guarantees. RV (2021)
Johann C. Dauer, Bernd Finkbeiner, Sebastian Schirmer
Monitoring with Verified Guarantees. CoRR (2021)
Sebastian Schirmer, Christoph Torens, Florian Nikodem, Johann C. Dauer
Considerations of Artificial Intelligence Safety Engineering for Unmanned Aircraft. SAFECOMP Workshops (2018)
Johann C. Dauer, Timm Faulwasser, Sven Lorenz
Run-to-run disturbance rejection for feedforward path following of an adaptively controlled unmanned helicopter. CCA (2015)