-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
-
correctly. Project description The goal of this PhD project is to develop techniques for the design and verification of assured ACPS with a focus on runtime assurance. You will develop theory and tools
-
ROS Practical experience in hardware and simulation-based implementations Fluency in both written and spoken English Previous experience in robot learning research will be considered a strong merit
-
work will also include custom robot hardware development, such as material sensing and monitoring systems, and a new end-effector for full-scale biomaterial extrusion. Besides research within the given