Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Schirmer, Sebastian"'
Autor:
Baumeister, Jan, Finkbeiner, Bernd, Kohn, Florian, Löhr, Florian, Manfredi, Guido, Schirmer, Sebastian, Torens, Christoph
This paper reports on the integration of runtime monitoring into fully-electric aircraft designed by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters. The runtime monitor recognizes hazardous situations and system faults
Externí odkaz:
http://arxiv.org/abs/2404.12035
Autor:
Baumeister, Jan, Finkbeiner, Bernd, Schirmer, Sebastian, Schwenger, Maximilian, Torens, Christoph
The autonomous control of unmanned aircraft is a highly safety-critical domain with great economic potential in a wide range of application areas, including logistics, agriculture, civil engineering, and disaster recovery. We report on the developmen
Externí odkaz:
http://arxiv.org/abs/2004.06488
Autor:
Adolf, Florian-Michael, Faymonville, Peter, Finkbeiner, Bernd, Schirmer, Sebastian, Torens, Christoph
Unmanned Aircraft Systems (UAS) with autonomous decision-making capabilities are of increasing interest for a wide area of applications such as logistics and disaster recovery. In order to ensure the correct behavior of the system and to recognize ha
Externí odkaz:
http://arxiv.org/abs/1804.04487
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
EPTCS 229, 2016, pp. 112-132
We present the Temporal Logic Synthesis Format (TLSF), a high-level format to describe synthesis problems via Linear Temporal Logic (LTL). The format builds upon standard LTL, but additionally allows to use high-level constructs, such as sets and fun
Externí odkaz:
http://arxiv.org/abs/1604.02284
Autor:
Rüter, Joachim, Maienschein, Theresa, Schirmer, Sebastian, Schopferer, Simon, Torens, Christoph
Publikováno v:
Sensors (14248220); Feb2024, Vol. 24 Issue 4, p1144, 17p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Schirmer, Sebastian, Torens, Christoph, Dauer, Johann C., Baumeister, Jan, Finkbeiner, Bernd, Rozier, Kristen Y.
Publikováno v:
AIAA SCITECH 2023 Forum.
Autor:
Schirmer, Sebastian, Rauh, Lucas, Alebouyeh, Sogol, Delgado-Velandia, Mario, Salgueiro, Vivian C., Lerma, Laura, Serrano-Mestre, José L., Azkargorta, Mikel, Elortza, Félix, Lavín, José L., García, Maria Jesus, Tórtola Fernández, María Teresa
Tuberculosis (TB) still represents a major global health problem affecting over 10 million people worldwide. The gold-standard procedures for TB diagnosis are culture and nucleic acid amplification techniques. In this context, both lipoarabinomannan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2659::1552d5c10731b643b32c1b9378d810ec
https://zenodo.org/record/6952082
https://zenodo.org/record/6952082
Machine learning has become one of the most widely used techniques in artificial intelligence, especially for image processing. One of the biggest challenges in developing an accurate image processing model is to collect large amounts of data that ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06246de99957a3bb337ba07cb52b8a09
https://elib.dlr.de/185409/
https://elib.dlr.de/185409/