-
machine learning for safe and optimal control of cyber-physical systems. The projects are expected to be funded by the VILLUM INVESTIGATOR project S4OS (“Scalable analysis and synthesis of safe, secure and
-
, we will investigate how traditional computer-science techniques for verification and falsification as well as machine learning can be tailored to these goals. This way, the project lays the grounds
-
internet Quantum embeddings for machine learning Networked quantum sensing supported by distributed classical communication Prospective applicants to this PhD proposal should have the following
-
converging operational research, machine learning, and decision-making methodologies. The ultimate goal is to create real-time autonomous systems that are not only trustworthy but also adaptive in the face of
-
activities of the IKE research group, but will, as part of the GreenTraC-project, also join a cross-organisational and interdisciplinary team working on developing and implementing machine learning and natural