Schmid, Reiner
136  results:
Search for persons X
?
2

Capturing Dependencies Within Machine Learning via a Formal..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,
Ritz, Fabian ; Phan, Thomy ; Sedlmeier, Andreas... - p. 249-265 , 2022
 
?
4

Specification Aware Multi-Agent Reinforcement Learning:

, In: Lecture Notes in Computer Science; Agents and Artificial Intelligence,
Ritz, Fabian ; Phan, Thomy ; Müller, Robert... - p. 3-21 , 2022
 
?
6

The scenario coevolution paradigm: adaptive quality assuran..:

Gabor, Thomas ; Sedlmeier, Andreas ; Phan, Thomy...
International Journal on Software Tools for Technology Transfer.  22 (2020)  4 - p. 457-476 , 2020
 
?
7

Learning and Testing Resilience in Cooperative Multi-Agent ..:

, In: Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems,
Phan, Thomy ; Gabor, Thomas ; Sedlmeier, Andreas... - p. 1055-1063 , 2020
 
?
9

Adapting Quality Assurance to Adaptive Systems: The Scenari..:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science,
 
?
10

I4Copter : an adaptable and modular quadrotor platform:

, In: Proceedings of the 2011 ACM Symposium on Applied Computing,
 
?
12

Industrielle Bildverarbeitung 

Vom visuellen Empfinden zur Problemlösung  Springer eBook Collection, Computer Science and Engineering
 
?
13

3D-Erkennung:

, In: Industrielle Bildverarbeitung,
Schmid, Reiner - p. 132-145 , 1995
 
?
14

Bewegungsdetektion:

, In: Industrielle Bildverarbeitung,
Schmid, Reiner - p. 146-150 , 1995
 
?
15

Anhang:

, In: Industrielle Bildverarbeitung,
Schmid, Reiner - p. 197-224 , 1995
 
1-15
Related subjects