Search for persons
X
?
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science ,
1
Capturing Dependencies Within Machine Learning via a Formal..:
, In:
?
Lecture Notes in Computer Science; Agents and Artificial Intelligence ,
2
Specification Aware Multi-Agent Reinforcement Learning:
, In:
?
Artificial Neural Networks and Machine Learning – ICANN 2020; Lecture Notes in Computer Science ,
3
Policy Entropy for Out-of-Distribution Classification:
, In:
?
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems ,
5
Learning and Testing Resilience in Cooperative Multi-Agent ..:
, In:
?
Proceedings of the 27th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems ,
6
Bayesian Surprise in Indoor Environments:
, In:
?
Proceedings of the Genetic and Evolutionary Computation Conference ,
8
Scenario co-evolution for reinforcement learning on a grid ..:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems; Lecture Notes in Computer Science ,
10
Adapting Quality Assurance to Adaptive Systems: The Scenari..:
, In:
?
Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems ,
11