This project is part of the HORIZON 2020 Marie Skłodowska-Curie Innovative Training Network "POEMA, Polynomial Optimization, Efficiency through Moments and Algebra", which is offering 15 PhD positions, starting from September 2019 (more about POEMA below and here https://easychair.org/cfp/POEMA-19-22).

Our reliance on the correct functioning of embedded systems is growing rapidly. Such systems are used in a wide range of applications such as airbag control systems, mobile phones, and high-end television sets.

Many tasks once performed by humans are now carried out by autonomous artificial intelligence systems. An important aspect of such systems is their accountability, that is, how their decisions and behaviours can be recorded, scrutinised and, if necessary, revised.