Personensuche
X
?
Proceedings of the 17th International ACM SIGACCESS Conference on Computers & Accessibility ,
1
TactileMaps.net : A Web Interface for Generating Customi..:
, In:
?
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE) ,
4
Case Study: Neural Network Malware Detection Verification f..:
, In:
?
Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science ,
5
Benchmark: Neural Network Malware Classification:
, In:
?
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) ,
6
DEMO: Self-Preserving Genetic Algorithms vs. Safe Reinforce..:
, In:
?
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023) ,
7
Self-Preserving Genetic Algorithms for Safe Learning in Dis..:
, In:
?
2022 IEEE Aerospace Conference (AERO) ,
8
Reinforcement Learning Heuristics for Aerospace Control Sys..:
, In:
?
Software Engineering and Formal Methods; Lecture Notes in Computer Science ,
9
Training Agents to Satisfy Timed and Untimed Signal Tempora..:
, In:
?
Biomimetic and Biohybrid Systems; Lecture Notes in Computer Science ,
11
Bioinspired Navigation Based on Distributed Sensing in the ..:
, In:
?
Advances in Intelligent Systems and Computing; Advances in Human Factors and Systems Interaction ,
12
Pilots' Role in the Critical Infrastructure of Aviation:
, In:
?
Advances in Intelligent Systems and Computing; Advances in Human Factors and Systems Interaction ,
14