E-LIB Suche - Ergebnisse für: Schirmer, Sebastian

1

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..

2

Temporal Behavior Trees: Robustness and Segmentation:

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

Schirmer, Sebastian ; Singh, Jasdeep ; Jensen, Emily... - p. 1-14 , 2024

Link: https://dl.acm.org/doi/1..

3

Filling the Gaps: Using Synthetic Low-Altitude Aerial Image..:

Rüter, Joachim ; Maienschein, Theresa ; Schirmer, Sebastian..
Sensors. 24 (2024) 4 - p. 1144 , 2024

Link: https://doi.org/10.3390/..

4

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/..

5

Immunogenicity of Mycobacterial Extracellular Vesicles Isol..:

Schirmer, Sebastian ; Rauh, Lucas ; Alebouyeh, Sogol...
Frontiers in Microbiology. 13 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

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

Safe Operation Monitoring for Specific Category Unmanned Ai..:

, In: Automated Low-Altitude Air Delivery; Research Topics in Aerospace,

Schirmer, Sebastian ; Torens, Christoph - p. 393-419 , 2021

Link: https://doi.org/10.1007/..

9

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Baumeister, Jan ; Finkbeiner, Bernd ; Schirmer, Sebastian.. - p. 28-39 , 2020

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

Considerations of Artificial Intelligence Safety Engineerin..:

, In: Developments in Language Theory; Lecture Notes in Computer Science,

Schirmer, Sebastian ; Torens, Christoph ; Nikodem, Florian. - p. 465-472 , 2018

Link: https://doi.org/10.1007/..

12

Einander anerkennen: Transversale Seelsorge als Sorge um ge..:

Schirmer, Sebastian
Wege zum Menschen. 68 (2016) 5 - p. 452-465 , 2016

Link: https://doi.org/10.13109..
Copies: Zentrale;

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

Filling the Gaps: Using Synthetic Low-Altitude Aerial Image..:

Rüter, Joachim ; Maienschein, Theresa Diana ; Schirmer, Sebastian..
https://elib.dlr.de/202802/1/sensors-24-01144.pdf. , 2024

Link: https://elib.dlr.de/2028..

15

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..