In: 2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2023), October 1-5, Detroit, Michigan, USA, IEEE, 10/2023.
In: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) 2022. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS-2022), IEEE, 11/2022.
Learning and Verifying Complex Behaviour of Humanoid Robots
The validation of systems based on deep learning for use in safety-critical applications proves to be inherently difficult, since their subsymbolic mode of operation does not provide adequate levels…