Search for persons
X
?
2023 IEEE/ACM 2nd International Conference on AI Engineering – Software Engineering for AI (CAIN) ,
1
safe.trAIn – Engineering and Assurance of a Driverless Regi..:
, In:
?
2
Smart Cities, Green Technologies, and Intelligent Transport..
Communications in Computer and Information Science, 1843
?
2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW) ,
3
Safety Assurance of a Driverless Regional Train -Insight in..:
, In:
?
Lecture Notes in Computer Science; Agents and Artificial Intelligence ,
4
Specification Aware Multi-Agent Reinforcement Learning:
, In:
?
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science ,
5
Capturing Dependencies Within Machine Learning via a Formal..:
, In:
?
6
Smart Cities, Green Technologies, and Intelligent Transport..
Communications in Computer and Information Science, 1612
?
8
Smart Cities, Green Technologies, and Intelligent Transport..
Communications in Computer and Information Science, 1475
?
9
Smart Cities, Green Technologies and Intelligent Transport ..
Communications in Computer and Information Science, 1217
?
Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems ,
10
Learning and Testing Resilience in Cooperative Multi-Agent ..:
, In:
?
12
Smart Cities, Green Technologies and Intelligent Transport ..
Communications in Computer and Information Science, 992
?
Proceedings of the Genetic and Evolutionary Computation Conference ,
13
Scenario co-evolution for reinforcement learning on a grid ..:
, In:
?
2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) ,
14
A Meta-model for Process Failure Mode and Effects Analysis ..:
, In:
?
15
Smart Cities, Green Technologies, and Intelligent Transport..
Communications in Computer and Information Science, 921