I agree that this site is using cookies. You can find further informations here.
X
Dauer, Johann C.
159  results:
Search for persons X
?
1

Robust Maneuver Planning With Scalable Prediction Horizons:..:

Schitz, Philipp ; Dauer, Johann C. ; Mercorelli, Paolo
IEEE Control Systems Letters.  , 2024
Link: https://doi.org/10.1109/..
 
?
2

Temporal Behavior Trees -- Segmentation:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,
Schirmer, Sebastian ; Singh, Jasdeep ; Jensen, Emily... - p. 1-2 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Monitoring with verified guarantees:

Baumeister, Jan ; Dauer, Johann C. ; Finkbeiner, Bernd.
International Journal on Software Tools for Technology Transfer.  25 (2023)  4 - p. 593-616 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Automated Low-Altitude Air Delivery: Towards Autonomous Car.. 

Research Topics in Aerospace
Dauer, Johann C - 1st ed. 2022 . , 2022
Link: https://doi.org/10.1007/..
 
?
5

Unmanned Aircraft for Transportation in Low-Level Altitudes..:

, In: Automated Low-Altitude Air Delivery; Research Topics in Aerospace,
Dauer, Johann C. - p. 523-550 , 2021
Link: https://doi.org/10.1007/..
 
?
6

A Multi-disciplinary Scenario Simulation for Low-Altitude U..:

, In: Automated Low-Altitude Air Delivery; Research Topics in Aerospace,
Schopferer, Simon ; Donkels, Alexander ; Schirmer, Sebastian. - p. 423-447 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Monitoring with Verified Guarantees:

, In: Runtime Verification; Lecture Notes in Computer Science,
Dauer, Johann C. ; Finkbeiner, Bernd ; Schirmer, Sebastian - p. 62-80 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Design and Flight Testing of a Gyrocopter Drone Technology ..:

, In: Automated Low-Altitude Air Delivery; Research Topics in Aerospace,
Lorenz, Sven ; Benders, Sebastian ; Goormann, Lukas... - p. 463-521 , 2021
Link: https://doi.org/10.1007/..
 
?
9

Automated Cargo Delivery in Low Altitudes: Concepts and Res..:

, In: Automated Low-Altitude Air Delivery; Research Topics in Aerospace,
Dauer, Johann C. ; Dittrich, Jörg S. - p. 3-23 , 2021
Link: https://doi.org/10.1007/..
 
?
10

Geofencing requirements for onboard safe operation monitori..:

Torens, Christoph ; Nikodem, Florian ; Dauer, Johann C...
CEAS Aeronautical Journal.  11 (2020)  3 - p. 767-779 , 2020
Link: https://doi.org/10.1007/..
 
?
11

Preliminary design study for a future unmanned cargo aircra..:

Hasan, Yasim J. ; Sachs, Falk ; Dauer, Johann C.
CEAS Aeronautical Journal.  9 (2018)  4 - p. 571-586 , 2018
Link: https://doi.org/10.1007/..
 
?
12

Steps Towards Scalable and Modularized Flight Software for ..:

Dauer, Johann C. ; Goormann, Lukas ; Torens, Christoph
International Journal of Advanced Robotic Systems.  11 (2014)  5 - p. 81 , 2014
Link: https://doi.org/10.5772/..
 
?
13

Certification Aspects of Runtime Assurance for Urban Air Mo..:

Torens, Christoph ; Nagarajan, Pranav ; Schirmer, Sebastian...
https://elib.dlr.de/201362/1/main.pdf.  , 2024
Link: https://elib.dlr.de/2013..
 
?
14

A Hierarchy of Monitoring Properties for Autonomous Systems:

Schirmer, Sebastian ; Torens, Christoph ; Dauer, Johann C...
https://elib.dlr.de/193868/1/A_Hierarchy_Of_Monitoring_Properties_for_Autonomous_Systems.pdf.  , 2023
Link: https://elib.dlr.de/1938..
 
?
15

DLR UAS TEST PLATFORM FOR MORPHING WINGS:

Radestock, Martin ; Tikalsky, Jan ; Geyr von Schweppenburg, Heiko...
https://elib.dlr.de/200325/1/SMASIS2023-110993%20DLR%20UAS%20Test%20Platform%20for%20Morphing%20Wings.pdf.  , 2023
Link: https://elib.dlr.de/2003..
 
1-15