Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Ehlers, Rüdiger
109  Ergebnisse:
Personensuche X
?
1

A systematic analysis of design choices in short-term taxi ..:

Schleibaum, Sören ; Teusch, Julian ; Ehlers, Rüdiger.
Transportation Research Procedia.  78 (2024)  - p. 554-561 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Fully Generalized Reactivity(1) Synthesis:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,
Ehlers, Rüdiger ; Khalimov, Ayrat - p. 83-102 , 2024
Link: https://doi.org/10.1007/..
 
?
3

Properties oriented WAAM—microstructural and geometrical co..:

Treutler, Kai ; Gehling, Tobias ; Scheck, Maxim...
Welding in the World.  68 (2023)  2 - p. 247-257 , 2023
Link: https://doi.org/10.1007/..
 
?
4

On the Influence of Grid Cell Size on Taxi Demand Predictio:

, In: Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Smart Objects and Technologies for Social Goods,
Korth, Merlin ; Schleibaum, Sören ; Müller, Jörg P.. - p. 19-36 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Correct-by-Construction Runtime Enforcement in AI – A Surve:

, In: Lecture Notes in Computer Science; Principles of Systems Design,
Könighofer, Bettina ; Bloem, Roderick ; Ehlers, Rüdiger. - p. 650-663 , 2022
Link: https://doi.org/10.1007/..
 
?
6

Formalizing and guaranteeing human-robot interaction:

Kress-Gazit, Hadas ; Eder, Kerstin ; Hoffman, Guy...
Communications of the ACM.  64 (2021)  9 - p. 78-84 , 2021
Link: https://doi.org/10.1145/..
 
?
7

Formalizing and guaranteeing human-robot interaction:

Kress-Gazit, Hadas ; Eder, Kerstin ; Hoffman, Guy...
Communications of the ACM.  64 (2021)  9 - p. 78-84 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Safe Multi-Agent Reinforcement Learning via Shielding:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
ElSayed-Aly, Ingy ; Bharadwaj, Suda ; Amato, Christopher... - p. 483-491 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Exact synthesis of ESOP forms:

, In: Advanced boolean techniques / Rolf Drechsler, Mathias Soeken, editors
Riener, Heinz ; Ehlers, Rüdiger ; de O. Schmitt, Bruno.. (2020)  - p. 177-194
Exemplar:  Zentrale:Magazin 03.d.2916
 
?
10

Learning Properties in LTL ∩ ACTL from Positive Examples On..:

, In: 2020 Formal Methods in Computer Aided Design (FMCAD),
Ehlers, Rudiger ; Gavran, Ivan ; Neider, Daniel - p. 104-112 , 2020
Link: https://doi.org/10.34727..
 
?
11

Engineering Human–Machine Teams for Trusted Collaboration:

Alhaji, Basel ; Beecken, Janine ; Ehlers, Rüdiger...
Big Data and Cognitive Computing.  4 (2020)  4 - p. 35 , 2020
Link: https://doi.org/10.3390/..
 
?
12

SAT Solving with Fragmented Hamiltonian Path Constraints fo..:

, In: Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science,
Ehlers, Rüdiger ; Treutler, Kai ; Wesling, Volker - p. 492-500 , 2020
Link: https://doi.org/10.1007/..
 
?
13

Reactive synthesis of graphical user interface glue code:

Ehlers, Rüdiger ; Adabala, Keerthi. (2019)  - p. 387-403
Link: https://doi.org/10.1007/..
 
?
14

Evaluating ESOP optimization methods in quantum compilation..:

Meuli, Giulia ; Schmitt, Bruno ; Ehlers, Rüdiger... (2019)  - p. 191-206
Link: https://doi.org/10.1007/..
 
?
15

Exact Synthesis of ESOP Forms:

, In: Advanced Boolean Techniques,
Riener, Heinz ; Ehlers, Rüdiger ; Schmitt, Bruno de O.. - p. 177-194 , 2019
Link: https://doi.org/10.1007/..
 
1-15