14 entries « 2 of 5 »

Araujo, Hugo; Hoenselaar, Ties; Mousavi, Mohammad Reza; Vinel, Alex

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.

Links | BibTeX

Tyukin, Ivan; Higham, Desmond; Gorban, Alexander

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.

Links | BibTeX

Miyazawa, Alvaro; Ribeiro, Pedro; Li, Wei; Cavalcanti, Ana; Jon Timmis,; Woodcock, Jim

RoboChart: modelling and verification of the functional behaviour of robotic applications Journal Article

In: Software & Systems Modeling, 18 (5), pp. 3097-3149, 0000.

Links | BibTeX

14 entries « 2 of 5 »