Connected automated driving: a model-based approach to the analysis of basic awareness services Book Chapter
In: 2020 IEEE 31st Annual International Symposium on Personal, Indoor and Mobile Radio Communications, pp. 1-7, 0000.
On adversarial examples and stealth attacks in artificial intelligence systems Book Chapter
In: 2020 International Joint Conference on Neural Networks (IJCNN), pp. 1-6, 0000.
RoboChart: modelling and verification of the functional behaviour of robotic applications Journal Article
In: Software & Systems Modeling, 18 (5), pp. 3097-3149, 0000.