Search for persons
X
?
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science ,
2
Capturing Dependencies Within Machine Learning via a Formal..:
, In:
?
Lecture Notes in Computer Science; Agents and Artificial Intelligence ,
4
Specification Aware Multi-Agent Reinforcement Learning:
, In:
?
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems ,
7
Learning and Testing Resilience in Cooperative Multi-Agent ..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science ,
9
Adapting Quality Assurance to Adaptive Systems: The Scenari..:
, In:
?
Proceedings of the 2011 ACM Symposium on Applied Computing ,
10
I4Copter : an adaptable and modular quadrotor platform:
, In:
?
12
Industrielle Bildverarbeitung
Vom visuellen Empfinden zur Problemlösung
Springer eBook Collection, Computer Science and Engineering